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

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
random/medium/ unif-k5-r21.3-v50-c1065-S1449708927-022.UNKNOWN.cnf	UNSAT	0.12998	0.133173	3211569
random/medium/ unif-k5-r21.3-v50-c1065-S370067727-038.UNKNOWN.cnf	UNSAT	0.139978	0.143176	3211605
random/medium/ unif-k5-r21.3-v50-c1065-S1139883571-082.UNKNOWN.cnf	UNSAT	0.139978	0.139428	3211609
random/medium/ unif-k3-r4.26-v250-c1065-S1822479556-014.UNKNOWN.cnf	UNSAT	0.149976	0.150238	3211517
random/medium/ unif-k5-r21.3-v50-c1065-S505037856-056.UNKNOWN.cnf	UNSAT	0.150976	0.151018	3211653
random/medium/ unif-k5-r21.3-v50-c1065-S1990278523-047.UNKNOWN.cnf	UNSAT	0.151976	0.152258	3211389
random/medium/ unif-k5-r21.3-v50-c1065-S433637520-048.UNKNOWN.cnf	UNSAT	0.152976	0.15715	3210329
random/medium/ unif-k5-r21.3-v50-c1065-S827703138-064.UNKNOWN.cnf	UNSAT	0.156976	0.157423	3210605
random/medium/ unif-k5-r21.3-v50-c1065-S1007919187-045.UNKNOWN.cnf	UNSAT	0.164974	0.171194	3211557
random/medium/ unif-k5-r21.3-v50-c1065-S1491756361-004.UNKNOWN.cnf	UNSAT	0.168974	0.17055	3210869
random/medium/ unif-k5-r21.3-v50-c1065-S1054153452-040.UNKNOWN.cnf	UNSAT	0.172973	0.173491	3211593
random/medium/ unif-k3-r4.26-v250-c1065-S931339469-052.UNKNOWN.cnf	UNSAT	0.222966	0.224599	3210301
random/medium/ unif-k3-r4.26-v250-c1065-S1397126856-076.UNKNOWN.cnf	UNSAT	0.266959	0.267572	3211453
random/medium/ unif-k3-r4.26-v250-c1065-S266251785-083.UNKNOWN.cnf	UNSAT	0.268959	0.268804	3211473
random/medium/ unif-k3-r4.26-v250-c1065-S534787376-095.UNKNOWN.cnf	UNSAT	0.276957	0.278732	3210769
random/medium/ unif-k3-r4.26-v250-c1065-S860541986-078.UNKNOWN.cnf	UNSAT	0.279956	0.27982	3210497
random/medium/ unif-k3-r4.26-v250-c1065-S671776549-007.UNKNOWN.cnf	UNSAT	0.290955	0.291993	3211425
random/medium/ unif-k3-r4.26-v250-c1065-S984689729-080.UNKNOWN.cnf	UNSAT	0.312952	0.314025	3210773
random/medium/ unif-k3-r4.26-v250-c1065-S1295196126-061.UNKNOWN.cnf	UNSAT	0.469927	0.472385	3210737
random/medium/ unif-k3-r4.26-v250-c1065-S427778075-026.UNKNOWN.cnf	UNSAT	0.540916	0.541398	3211221
random/medium/ unif-k3-r4.26-v300-c1278-S566093033-041.UNKNOWN.cnf	UNSAT	0.618905	0.622169	3211349
random/medium/ unif-k3-r4.26-v300-c1278-S1452052526-056.UNKNOWN.cnf	UNSAT	0.747886	0.748288	3210473
random/medium/ unif-k3-r4.26-v300-c1278-S768688898-014.UNKNOWN.cnf	UNSAT	0.886865	0.887203	3210285
random/medium/ unif-k3-r4.26-v300-c1278-S862932513-073.UNKNOWN.cnf	UNSAT	0.894863	0.895481	3210889
random/medium/ unif-k3-r4.26-v300-c1278-S1469984978-038.UNKNOWN.cnf	UNSAT	1.24981	1.25271	3210729
random/medium/ unif-k3-r4.26-v300-c1278-S1569819208-064.UNKNOWN.cnf	UNSAT	1.3268	1.32731	3210393
random/medium/ unif-k3-r4.26-v300-c1278-S1194590195-083.UNKNOWN.cnf	UNSAT	1.40679	1.40651	3210581
random/medium/ unif-k3-r4.26-v300-c1278-S1223020224-097.UNKNOWN.cnf	UNSAT	1.57976	1.58065	3210997
random/medium/ unif-k3-r4.26-v300-c1278-S1990987164-054.UNKNOWN.cnf	UNSAT	1.75173	1.75223	3210437
random/medium/ unif-k3-r4.26-v300-c1278-S1869766438-024.UNKNOWN.cnf	UNSAT	2.6276	2.62763	3210501
random/medium/ unif-k3-r4.26-v350-c1491-S804294807-063.UNKNOWN.cnf	UNSAT	4.76727	4.76736	3211393
random/medium/ unif-k3-r4.26-v350-c1491-S173446080-001.UNKNOWN.cnf	UNSAT	5.54016	5.53951	3210993
random/medium/ unif-k3-r4.26-v350-c1491-S1090604743-089.UNKNOWN.cnf	UNSAT	5.73113	5.73183	3211697
random/medium/ unif-k5-r21.3-v75-c1597-S1227489160-001.UNKNOWN.cnf	UNSAT	6.37403	6.3786	3210453
random/medium/ unif-k3-r4.26-v350-c1491-S1404138730-025.UNKNOWN.cnf	UNSAT	6.42702	6.42713	3211233
random/medium/ unif-k5-r21.3-v75-c1597-S295912653-089.UNKNOWN.cnf	UNSAT	6.72698	6.72707	3210529
random/medium/ unif-k5-r21.3-v75-c1597-S1825761395-059.UNKNOWN.cnf	UNSAT	7.16291	7.16342	3211729
random/medium/ unif-k5-r21.3-v75-c1597-S1431779634-058.UNKNOWN.cnf	UNSAT	7.33488	7.33766	3211757
random/medium/ unif-k5-r21.3-v75-c1597-S602837755-005.UNKNOWN.cnf	UNSAT	7.47086	7.47155	3210421
random/medium/ unif-k5-r21.3-v75-c1597-S60874767-043.UNKNOWN.cnf	UNSAT	7.57885	7.57914	3210785
random/medium/ unif-k5-r21.3-v75-c1597-S428924146-076.UNKNOWN.cnf	UNSAT	7.70583	7.70601	3211029
random/medium/ unif-k5-r21.3-v75-c1597-S1750722942-074.UNKNOWN.cnf	UNSAT	8.00278	8.00498	3211665
random/medium/ unif-k3-r4.26-v350-c1491-S1733949620-064.UNKNOWN.cnf	UNSAT	8.03478	8.03483	3211169
random/medium/ unif-k3-r4.26-v350-c1491-S761041117-050.UNKNOWN.cnf	UNSAT	8.06877	8.06912	3211789
random/medium/ unif-k5-r21.3-v75-c1597-S1713710439-035.UNKNOWN.cnf	UNSAT	8.29774	8.30051	3210721
random/medium/ unif-k5-r21.3-v75-c1597-S1508981094-051.UNKNOWN.cnf	UNSAT	8.85065	8.85077	3210933
random/medium/ unif-k3-r4.26-v350-c1491-S1705279286-077.UNKNOWN.cnf	UNSAT	9.12661	9.13129	3211193
random/medium/ unif-k3-r4.26-v350-c1491-S659703274-054.UNKNOWN.cnf	UNSAT	10.1515	10.152	3211097
random/medium/ unif-k3-r4.26-v350-c1491-S648064606-012.UNKNOWN.cnf	UNSAT	11.2683	11.2678	3210505
random/medium/ unif-k3-r4.26-v350-c1491-S797651048-056.UNKNOWN.cnf	UNSAT	11.9972	11.9971	3211101
random/medium/ unif-k3-r4.26-v400-c1704-S785747282-100.UNKNOWN.cnf	UNSAT	24.7082	24.7076	3210221
random/medium/ unif-k3-r4.26-v400-c1704-S496650424-021.UNKNOWN.cnf	UNSAT	26.333	26.333	3211513
random/medium/ unif-k3-r4.26-v400-c1704-S1536900137-053.UNKNOWN.cnf	UNSAT	28.0557	28.0568	3210585
random/medium/ unif-k3-r4.26-v400-c1704-S895193371-061.UNKNOWN.cnf	UNSAT	29.9244	29.9234	3211045
random/medium/ unif-k7-r89-v50-c4450-S1082084494-034.UNKNOWN.cnf	UNSAT	32.4181	32.4182	3210801
random/medium/ unif-k7-r89-v50-c4450-S1027567260-047.UNKNOWN.cnf	UNSAT	32.4201	32.4207	3210309
random/medium/ unif-k7-r89-v50-c4450-S321945897-005.UNKNOWN.cnf	UNSAT	32.804	32.803	3211201
random/medium/ unif-k7-r89-v50-c4450-S708803296-021.UNKNOWN.cnf	UNSAT	32.959	32.959	3211777
random/medium/ unif-k7-r89-v50-c4450-S2039518547-066.UNKNOWN.cnf	UNSAT	32.994	32.9935	3210973
random/medium/ unif-k7-r89-v50-c4450-S1374457799-001.UNKNOWN.cnf	UNSAT	33.05	33.0496	3211073
random/medium/ unif-k3-r4.26-v400-c1704-S1409021001-079.UNKNOWN.cnf	UNSAT	33.9838	33.9843	3211177
random/medium/ unif-k7-r89-v50-c4450-S1880985555-004.UNKNOWN.cnf	UNSAT	34.1038	34.1042	3211597
random/medium/ unif-k3-r4.26-v400-c1704-S1635333981-027.UNKNOWN.cnf	UNSAT	34.3518	34.3539	3210965
random/medium/ unif-k7-r89-v50-c4450-S1273410420-036.UNKNOWN.cnf	UNSAT	34.3998	34.3988	3210789
random/medium/ unif-k7-r89-v50-c4450-S1034575833-022.UNKNOWN.cnf	UNSAT	35.3876	35.3876	3210873
random/medium/ unif-k7-r89-v50-c4450-S324945930-048.UNKNOWN.cnf	UNSAT	35.4326	35.4321	3211521
random/medium/ unif-k3-r4.26-v400-c1704-S690749326-001.UNKNOWN.cnf	UNSAT	40.2779	40.2774	3211377
random/medium/ unif-k3-r4.26-v400-c1704-S549184435-037.UNKNOWN.cnf	UNSAT	40.7308	40.7306	3211133
random/medium/ unif-k3-r4.26-v400-c1704-S1081907273-083.UNKNOWN.cnf	UNSAT	42.7815	42.7807	3210429
random/medium/ unif-k3-r4.26-v400-c1704-S1511266249-002.UNKNOWN.cnf	UNSAT	50.9363	50.9347	3211501
random/medium/ unif-k3-r4.26-v450-c1917-S794554332-033.UNKNOWN.cnf	UNSAT	122.735	122.737	3210989
random/medium/ unif-k3-r4.26-v450-c1917-S1573194644-097.UNKNOWN.cnf	UNSAT	134.386	134.383	3211253
random/medium/ unif-k3-r4.26-v450-c1917-S1910317962-059.UNKNOWN.cnf	UNSAT	143.047	143.047	3210777
random/medium/ unif-k3-r4.26-v450-c1917-S1959079526-027.UNKNOWN.cnf	UNSAT	156.967	156.965	3211769
random/medium/ unif-k3-r4.26-v450-c1917-S116041094-082.UNKNOWN.cnf	UNSAT	158.957	158.951	3211645
random/medium/ unif-k3-r4.26-v450-c1917-S1008065350-031.UNKNOWN.cnf	UNSAT	167.002	167.011	3210433
random/medium/ unif-k3-r4.26-v450-c1917-S1406921020-013.UNKNOWN.cnf	UNSAT	169.471	169.468	3210937
random/medium/ unif-k3-r4.26-v450-c1917-S16302531-099.UNKNOWN.cnf	UNSAT	170.823	170.82	3211525
random/medium/ unif-k3-r4.26-v450-c1917-S367251957-028.UNKNOWN.cnf	UNSAT	227.61	227.606	3210305
random/medium/ unif-k5-r21.3-v100-c2130-S2051088205-036.UNKNOWN.cnf	UNSAT	311.934	311.922	3210813
random/medium/ unif-k5-r21.3-v100-c2130-S815408325-054.UNKNOWN.cnf	UNSAT	324.476	324.467	3211693
random/medium/ unif-k3-r4.26-v450-c1917-S1879031150-062.UNKNOWN.cnf	UNSAT	329.203	329.2	3211469
random/medium/ unif-k5-r21.3-v100-c2130-S1760258375-046.UNKNOWN.cnf	UNSAT	331.28	331.271	3210577
random/medium/ unif-k5-r21.3-v100-c2130-S1465579926-097.UNKNOWN.cnf	UNSAT	332.26	332.254	3210805
random/medium/ unif-k5-r21.3-v100-c2130-S206772908-015.UNKNOWN.cnf	UNSAT	339.061	339.054	3210845
random/medium/ unif-k5-r21.3-v100-c2130-S1059781282-048.UNKNOWN.cnf	UNSAT	355.725	355.718	3210741
random/medium/ unif-k7-r89-v60-c5340-S384085843-009.UNKNOWN.cnf	UNSAT	362.918	362.909	3210961
random/medium/ unif-k7-r89-v60-c5340-S1831136826-075.UNKNOWN.cnf	UNSAT	364.595	364.588	3211613
random/medium/ unif-k7-r89-v60-c5340-S1556216475-025.UNKNOWN.cnf	UNSAT	367.009	367.002	3210793
random/medium/ unif-k7-r89-v60-c5340-S614849838-039.UNKNOWN.cnf	UNSAT	367.053	367.055	3210765
random/medium/ unif-k7-r89-v60-c5340-S1445862528-059.UNKNOWN.cnf	UNSAT	368.302	368.29	3211077
random/medium/ unif-k7-r89-v60-c5340-S113771637-026.UNKNOWN.cnf	UNSAT	368.443	368.439	3211537
random/medium/ unif-k7-r89-v60-c5340-S1720200795-004.UNKNOWN.cnf	UNSAT	370.187	370.188	3210969
random/medium/ unif-k7-r89-v60-c5340-S2117313371-002.UNKNOWN.cnf	UNSAT	373.874	373.867	3211761
random/medium/ unif-k7-r89-v60-c5340-S642174893-006.UNKNOWN.cnf	UNSAT	377.49	377.478	3210757
random/medium/ unif-k7-r89-v60-c5340-S1675230100-032.UNKNOWN.cnf	UNSAT	379.459	379.452	3211765
random/medium/ unif-k5-r21.3-v100-c2130-S2098066936-001.UNKNOWN.cnf	UNSAT	390.8	390.785	3210481
random/medium/ unif-k5-r21.3-v100-c2130-S1741857700-014.UNKNOWN.cnf	UNSAT	393.463	393.458	3211629
random/medium/ unif-k5-r21.3-v100-c2130-S360859187-040.UNKNOWN.cnf	UNSAT	402.659	402.654	3211009
random/medium/ unif-k5-r21.3-v100-c2130-S1336161514-068.UNKNOWN.cnf	UNSAT	405.797	405.786	3211061
random/medium/ unif-k3-r4.26-v500-c2130-S247862791-097.UNKNOWN.cnf	UNSAT	492.912	492.897	3211409
random/medium/ unif-k3-r4.26-v500-c2130-S1094982880-055.UNKNOWN.cnf	UNSAT	631.507	631.49	3210325
random/medium/ unif-k3-r4.26-v500-c2130-S1205196501-095.UNKNOWN.cnf	UNSAT	757.265	757.24	3211281
random/medium/ unif-k3-r4.26-v500-c2130-S1085677759-100.UNKNOWN.cnf	UNSAT	905.031	905.014	3210657
random/medium/ unif-k3-r4.26-v500-c2130-S670753028-051.UNKNOWN.cnf	UNSAT	1005.59	1005.57	3211705
random/medium/ unif-k3-r4.26-v500-c2130-S1514125851-037.UNKNOWN.cnf	UNSAT	1030.29	1030.26	3210389
random/medium/ unif-k3-r4.26-v500-c2130-S2061684506-048.UNKNOWN.cnf	UNSAT	1308.23	1308.19	3211541
random/medium/ unif-k3-r4.26-v500-c2130-S769368248-036.UNKNOWN.cnf	UNSAT	1344.22	1344.18	3211005
random/medium/ unif-k3-r4.26-v500-c2130-S1383368897-031.UNKNOWN.cnf	UNSAT	1889.91	1889.85	3210565
random/medium/ unif-k3-r4.26-v550-c2343-S1694067460-072.UNKNOWN.cnf	UNSAT	1906.91	1906.85	3210661
random/medium/ unif-k3-r4.26-v500-c2130-S1762880211-075.UNKNOWN.cnf	UNSAT	1986.55	1986.52	3210245
random/medium/ unif-k3-r4.26-v550-c2343-S912111154-025.UNKNOWN.cnf	UNSAT	2501.49	2501.44	3211505
random/medium/ unif-k3-r4.26-v550-c2343-S1693168158-005.UNKNOWN.cnf	UNSAT	2585.31	2585.21	3211625
random/medium/ unif-k3-r4.26-v550-c2343-S943066845-088.UNKNOWN.cnf	UNSAT	2979.41	2979.3	3210525
random/medium/ unif-k3-r4.26-v550-c2343-S1163259790-073.UNKNOWN.cnf	UNSAT	3260.41	3260.28	3210485
random/medium/ unif-k3-r4.26-v550-c2343-S1663503036-045.UNKNOWN.cnf	UNSAT	3605.51	3605.36	3210569
random/medium/ unif-k3-r4.26-v550-c2343-S591042619-090.UNKNOWN.cnf	UNSAT	3675.27	3675.16	3211801
random/medium/ unif-k7-r89-v70-c6230-S1475900283-041.UNKNOWN.cnf	UNSAT	4321.31	4321.18	3210673
random/medium/ unif-k7-r89-v70-c6230-S1254276596-021.UNKNOWN.cnf	UNSAT	4367.31	4367.19	3210365
random/medium/ unif-k7-r89-v70-c6230-S1516725086-012.UNKNOWN.cnf	UNSAT	4368.87	4368.81	3210293
random/medium/ unif-k7-r89-v70-c6230-S250627100-039.UNKNOWN.cnf	UNSAT	4398.56	4398.42	3210237
random/medium/ unif-k7-r89-v70-c6230-S1805176884-064.UNKNOWN.cnf	UNSAT	4422.37	4422.22	3210353
random/medium/ unif-k7-r89-v70-c6230-S1780733482-097.UNKNOWN.cnf	UNSAT	4641.9	4641.78	3210545

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
random/medium/ unif-k3-r4.26-v400-c1704-S1440346932-010.SATISFIABLE.cnf	SAT	0.015997	0.0187599	3211573
random/medium/ unif-k3-r4.26-v350-c1491-S1077220429-098.SATISFIABLE.cnf	SAT	0.016997	0.0175661	3211053
random/medium/ unif-k3-r4.26-v450-c1917-S1097024859-001.SATISFIABLE.cnf	SAT	0.028995	0.0296319	3211417
random/medium/ unif-k3-r4.26-v350-c1491-S773607012-011.SATISFIABLE.cnf	SAT	0.043993	0.0446	3211297
random/medium/ unif-k3-r4.26-v400-c1704-S1462223811-042.SATISFIABLE.cnf	SAT	0.090985	0.090959	3210841
random/medium/ unif-k5-r21.3-v75-c1597-S445191369-092.SATISFIABLE.cnf	SAT	0.114982	0.114764	3211401
random/medium/ unif-k5-r21.3-v75-c1597-S1366648725-024.SATISFIABLE.cnf	SAT	0.115982	0.116603	3210373
random/medium/ unif-k5-r21.3-v75-c1597-S1129651135-081.SATISFIABLE.cnf	SAT	0.12598	0.126387	3211301
random/medium/ unif-k5-r21.3-v75-c1597-S25975519-056.SATISFIABLE.cnf	SAT	0.146977	0.150873	3210533
random/medium/ unif-k3-r4.26-v350-c1491-S146789605-022.SATISFIABLE.cnf	SAT	0.182972	0.183722	3210713
random/medium/ unif-k3-r4.26-v350-c1491-S87195105-042.SATISFIABLE.cnf	SAT	0.209968	0.210826	3211681
random/medium/ unif-k3-r4.26-v350-c1491-S1794283924-053.SATISFIABLE.cnf	SAT	0.247962	0.25173	3211117
random/medium/ unif-k3-r4.26-v400-c1704-S913455068-085.SATISFIABLE.cnf	SAT	0.264958	0.264939	3211725
random/medium/ unif-k5-r21.3-v75-c1597-S241605246-015.SATISFIABLE.cnf	SAT	0.269958	0.270664	3211173
random/medium/ unif-k3-r4.26-v350-c1491-S1914191877-004.SATISFIABLE.cnf	SAT	0.375942	0.376644	3210897
random/medium/ unif-k3-r4.26-v350-c1491-S1946851065-023.SATISFIABLE.cnf	SAT	0.517921	0.521945	3210337
random/medium/ unif-k7-r89-v50-c4450-S1496316430-079.SATISFIABLE.cnf	SAT	0.52392	0.525041	3211721
random/medium/ unif-k3-r4.26-v500-c2130-S9113894-047.SATISFIABLE.cnf	SAT	0.820875	0.82194	3211449
random/medium/ unif-k3-r4.26-v350-c1491-S946474812-075.SATISFIABLE.cnf	SAT	0.855869	0.858143	3211081
random/medium/ unif-k3-r4.26-v400-c1704-S1023920765-089.SATISFIABLE.cnf	SAT	0.959854	0.960234	3211481
random/medium/ unif-k5-r21.3-v75-c1597-S2038462183-033.SATISFIABLE.cnf	SAT	1.07584	1.07684	3210761
random/medium/ unif-k7-r89-v50-c4450-S422404201-035.SATISFIABLE.cnf	SAT	1.19782	1.19791	3211549
random/medium/ unif-k5-r21.3-v100-c2130-S1880411078-058.SATISFIABLE.cnf	SAT	1.65575	1.65546	3210665
random/medium/ unif-k3-r4.26-v350-c1491-S1060672754-058.SATISFIABLE.cnf	SAT	2.25866	2.25884	3211205
random/medium/ unif-k3-r4.26-v600-c2556-S735137557-045.SATISFIABLE.cnf	SAT	2.29565	2.29566	3211385
random/medium/ unif-k3-r4.26-v400-c1704-S183128297-005.SATISFIABLE.cnf	SAT	2.38264	2.38249	3211237
random/medium/ unif-k3-r4.26-v400-c1704-S823305148-084.SATISFIABLE.cnf	SAT	2.39364	2.39507	3210297
random/medium/ unif-k5-r21.3-v75-c1597-S1009664450-096.SATISFIABLE.cnf	SAT	2.69159	2.69188	3211405
random/medium/ unif-k5-r21.3-v75-c1597-S906725726-060.SATISFIABLE.cnf	SAT	2.69859	2.70008	3211341
random/medium/ unif-k5-r21.3-v75-c1597-S1636883934-028.SATISFIABLE.cnf	SAT	2.77658	2.77666	3211109
random/medium/ unif-k3-r4.26-v400-c1704-S1960786523-069.SATISFIABLE.cnf	SAT	2.81257	2.81293	3210809
random/medium/ unif-k5-r21.3-v100-c2130-S328068950-002.SATISFIABLE.cnf	SAT	3.24451	3.24525	3210953
random/medium/ unif-k7-r89-v50-c4450-S1786071619-083.SATISFIABLE.cnf	SAT	3.55746	3.55804	3210929
random/medium/ unif-k3-r4.26-v500-c2130-S31329941-054.SATISFIABLE.cnf	SAT	4.38033	4.38073	3210589
random/medium/ unif-k3-r4.26-v350-c1491-S1507171828-044.SATISFIABLE.cnf	SAT	5.50216	5.50611	3211129
random/medium/ unif-k5-r21.3-v75-c1597-S1214523131-078.SATISFIABLE.cnf	SAT	5.9001	5.90327	3211545
random/medium/ unif-k3-r4.26-v450-c1917-S1915396418-078.SATISFIABLE.cnf	SAT	6.597	6.59739	3210685
random/medium/ unif-k3-r4.26-v400-c1704-S930506247-025.SATISFIABLE.cnf	SAT	7.11592	7.11699	3210493
random/medium/ unif-k5-r21.3-v100-c2130-S1574817612-041.SATISFIABLE.cnf	SAT	7.2209	7.22142	3210537
random/medium/ unif-k3-r4.26-v500-c2130-S204737200-067.SATISFIABLE.cnf	SAT	7.2569	7.25753	3211713
random/medium/ unif-k7-r89-v50-c4450-S1430772875-039.SATISFIABLE.cnf	SAT	7.34788	7.34831	3210425
random/medium/ unif-k7-r89-v50-c4450-S1087312438-073.SATISFIABLE.cnf	SAT	9.72752	9.72787	3210693
random/medium/ unif-k7-r89-v50-c4450-S879384975-017.SATISFIABLE.cnf	SAT	9.89949	9.90033	3210709
random/medium/ unif-k3-r4.26-v450-c1917-S222128792-011.SATISFIABLE.cnf	SAT	10.1795	10.1809	3211257
random/medium/ unif-k3-r4.26-v500-c2130-S1263625223-038.SATISFIABLE.cnf	SAT	10.8493	10.8574	3210257
random/medium/ unif-k7-r89-v50-c4450-S1788358104-029.SATISFIABLE.cnf	SAT	10.9323	10.9346	3211465
random/medium/ unif-k5-r21.3-v100-c2130-S1926673460-089.SATISFIABLE.cnf	SAT	11.7652	11.7656	3210609
random/medium/ unif-k3-r4.26-v400-c1704-S1864619158-076.SATISFIABLE.cnf	SAT	12.6451	12.6462	3210313
random/medium/ unif-k7-r89-v50-c4450-S768928417-025.SATISFIABLE.cnf	SAT	12.976	12.9757	3210557
random/medium/ unif-k7-r89-v60-c5340-S1583005701-053.SATISFIABLE.cnf	SAT	14.0019	14.0027	3211185
random/medium/ unif-k3-r4.26-v500-c2130-S1280860344-022.SATISFIABLE.cnf	SAT	15.9836	15.9834	3211669
random/medium/ unif-k7-r89-v50-c4450-S864690872-081.SATISFIABLE.cnf	SAT	16.1255	16.1256	3211013
random/medium/ unif-k7-r89-v50-c4450-S675112162-053.SATISFIABLE.cnf	SAT	17.4343	17.4347	3211137
random/medium/ unif-k3-r4.26-v450-c1917-S380157195-014.SATISFIABLE.cnf	SAT	20.1269	20.129	3210341
random/medium/ unif-k5-r21.3-v100-c2130-S1980330668-030.SATISFIABLE.cnf	SAT	20.3649	20.3649	3211745
random/medium/ unif-k3-r4.26-v500-c2130-S840902310-084.SATISFIABLE.cnf	SAT	22.5816	22.5818	3211601
random/medium/ unif-k3-r4.26-v450-c1917-S1617626827-069.SATISFIABLE.cnf	SAT	24.4953	24.4967	3211293
random/medium/ unif-k3-r4.26-v450-c1917-S2088689288-085.SATISFIABLE.cnf	SAT	31.2922	31.2913	3211685
random/medium/ unif-k3-r4.26-v450-c1917-S2065964480-034.SATISFIABLE.cnf	SAT	33.2909	33.2894	3210637
random/medium/ unif-k7-r89-v60-c5340-S969033069-088.SATISFIABLE.cnf	SAT	35.4616	35.466	3211741
random/medium/ unif-k3-r4.26-v550-c2343-S107514131-038.SATISFIABLE.cnf	SAT	41.7497	41.753	3211737
random/medium/ unif-k3-r4.26-v550-c2343-S1610857498-043.SATISFIABLE.cnf	SAT	44.0193	44.0191	3211509
random/medium/ unif-k5-r21.3-v100-c2130-S196779284-038.SATISFIABLE.cnf	SAT	44.1533	44.1543	3211553
random/medium/ unif-k7-r89-v60-c5340-S385597856-055.SATISFIABLE.cnf	SAT	45.2141	45.2139	3211413
random/medium/ unif-k5-r21.3-v100-c2130-S707565158-096.SATISFIABLE.cnf	SAT	47.5978	47.599	3210561
random/medium/ unif-k3-r4.26-v400-c1704-S1050579435-065.SATISFIABLE.cnf	SAT	52.0181	52.0165	3210913
random/medium/ unif-k3-r4.26-v550-c2343-S960198064-030.SATISFIABLE.cnf	SAT	63.5443	63.543	3210925
random/medium/ unif-k3-r4.26-v450-c1917-S2083898043-071.SATISFIABLE.cnf	SAT	65.703	65.7011	3211277
random/medium/ unif-k7-r89-v60-c5340-S1458986015-022.SATISFIABLE.cnf	SAT	66.9048	66.9054	3210857
random/medium/ unif-k3-r4.26-v550-c2343-S927210717-059.SATISFIABLE.cnf	SAT	79.6829	79.6809	3211309
random/medium/ unif-k7-r89-v60-c5340-S1510638717-051.SATISFIABLE.cnf	SAT	81.0837	81.0809	3211161
random/medium/ unif-k3-r4.26-v550-c2343-S1940049314-069.SATISFIABLE.cnf	SAT	85.194	85.1932	3211633
random/medium/ unif-k3-r4.26-v700-c2982-S1617172756-030.SATISFIABLE.cnf	SAT	94.8816	94.8783	3211445
random/medium/ unif-k5-r21.3-v100-c2130-S20037494-023.SATISFIABLE.cnf	SAT	102.131	102.131	3210397
random/medium/ unif-k7-r89-v60-c5340-S239039906-021.SATISFIABLE.cnf	SAT	106.994	106.992	3210461
random/medium/ unif-k3-r4.26-v500-c2130-S1563258922-027.SATISFIABLE.cnf	SAT	113.686	113.683	3211121
random/medium/ unif-k3-r4.26-v600-c2556-S1383380994-043.SATISFIABLE.cnf	SAT	115.868	115.875	3211565
random/medium/ unif-k7-r89-v60-c5340-S630613738-050.SATISFIABLE.cnf	SAT	126.245	126.246	3211345
random/medium/ unif-k7-r89-v60-c5340-S1982873755-080.SATISFIABLE.cnf	SAT	141.435	141.436	3211213
random/medium/ unif-k3-r4.26-v450-c1917-S528475885-007.SATISFIABLE.cnf	SAT	141.504	141.501	3210921
random/medium/ unif-k7-r89-v60-c5340-S1141565617-016.SATISFIABLE.cnf	SAT	152.527	152.524	3210317
random/medium/ unif-k7-r89-v70-c6230-S1321356000-046.SATISFIABLE.cnf	SAT	164.623	164.62	3211089
random/medium/ unif-k3-r4.26-v450-c1917-S386464511-018.SATISFIABLE.cnf	SAT	188.971	188.966	3211145
random/medium/ unif-k7-r89-v60-c5340-S388186442-035.SATISFIABLE.cnf	SAT	189.114	189.111	3211353
random/medium/ unif-k3-r4.26-v600-c2556-S252359291-002.SATISFIABLE.cnf	SAT	201.167	201.163	3211069
random/medium/ unif-k5-r21.3-v100-c2130-S1189700536-035.SATISFIABLE.cnf	SAT	201.678	201.674	3210441
random/medium/ unif-k5-r21.3-v125-c2662-S1396350646-062.SATISFIABLE.cnf	SAT	213.873	213.867	3211329
random/medium/ unif-k3-r4.26-v500-c2130-S831119356-083.SATISFIABLE.cnf	SAT	285.988	285.982	3211477
random/medium/ unif-k3-r4.26-v550-c2343-S874954918-011.SATISFIABLE.cnf	SAT	295.934	295.927	3210625
random/medium/ unif-k5-r21.3-v125-c2662-S436871389-051.SATISFIABLE.cnf	SAT	309.347	309.339	3210457
random/medium/ unif-k7-r89-v70-c6230-S1018943457-089.SATISFIABLE.cnf	SAT	347.141	347.143	3211001
random/medium/ unif-k5-r21.3-v100-c2130-S332580795-055.SATISFIABLE.cnf	SAT	374.559	374.65	3211773
random/medium/ unif-k5-r21.3-v125-c2662-S1300400916-048.SATISFIABLE.cnf	SAT	411.708	411.7	3211265
random/medium/ unif-k5-r21.3-v125-c2662-S464722883-083.SATISFIABLE.cnf	SAT	440.075	440.064	3211261
random/medium/ unif-k7-r89-v70-c6230-S1846644927-079.SATISFIABLE.cnf	SAT	468.404	468.392	3210225
random/medium/ unif-k3-r4.26-v600-c2556-S373048162-052.SATISFIABLE.cnf	SAT	480.833	480.82	3210549
random/medium/ unif-k3-r4.26-v650-c2769-S1894319588-015.SATISFIABLE.cnf	SAT	559.608	559.593	3210641
random/medium/ unif-k3-r4.26-v700-c2982-S171669125-021.SATISFIABLE.cnf	SAT	634.628	634.623	3211017
random/medium/ unif-k3-r4.26-v600-c2556-S727005963-093.SATISFIABLE.cnf	SAT	646.801	646.778	3211157
random/medium/ unif-k3-r4.26-v500-c2130-S481747904-003.SATISFIABLE.cnf	SAT	745.841	745.824	3210613
random/medium/ unif-k7-r89-v70-c6230-S1335110382-066.SATISFIABLE.cnf	SAT	762.662	762.638	3210957
random/medium/ unif-k3-r4.26-v800-c3408-S1536861174-069.SATISFIABLE.cnf	SAT	891.178	891.146	3211181
random/medium/ unif-k3-r4.26-v800-c3408-S91768321-029.SATISFIABLE.cnf	SAT	1038.06	1038.02	3211809
random/medium/ unif-k3-r4.26-v550-c2343-S1552308135-080.SATISFIABLE.cnf	SAT	1038.18	1038.16	3211149
random/medium/ unif-k5-r21.3-v125-c2662-S675870149-098.SATISFIABLE.cnf	SAT	1070.83	1070.8	3210977
random/medium/ unif-k3-r4.26-v550-c2343-S2058622508-076.SATISFIABLE.cnf	SAT	1338.44	1338.41	3210909
random/medium/ unif-k7-r89-v80-c7120-S1623694027-006.SATISFIABLE.cnf	SAT	1355.31	1355.28	3210405
random/medium/ unif-k3-r4.26-v550-c2343-S311101868-094.SATISFIABLE.cnf	SAT	1368.1	1368.06	3211381
random/medium/ unif-k5-r21.3-v125-c2662-S34055288-072.SATISFIABLE.cnf	SAT	1374.04	1374.01	3210881
random/medium/ unif-k3-r4.26-v700-c2982-S1744841484-003.SATISFIABLE.cnf	SAT	1400.81	1400.78	3211717
random/medium/ unif-k3-r4.26-v650-c2769-S525571208-063.SATISFIABLE.cnf	SAT	1426.34	1426.3	3210409
random/medium/ unif-k3-r4.26-v500-c2130-S261841674-082.SATISFIABLE.cnf	SAT	1439.63	1439.59	3211033
random/medium/ unif-k7-r89-v70-c6230-S1555786344-071.SATISFIABLE.cnf	SAT	1532.65	1532.61	3210241
random/medium/ unif-k3-r4.26-v800-c3408-S890760919-021.SATISFIABLE.cnf	SAT	1579.95	1579.89	3211289
random/medium/ unif-k3-r4.26-v650-c2769-S30721646-064.SATISFIABLE.cnf	SAT	1660.41	1660.36	3211285
random/medium/ unif-k3-r4.26-v650-c2769-S4140122-004.SATISFIABLE.cnf	SAT	1747.9	1747.88	3211437
random/medium/ unif-k3-r4.26-v700-c2982-S900569154-026.SATISFIABLE.cnf	SAT	1829.56	1829.51	3210377
random/medium/ unif-k3-r4.26-v600-c2556-S2019147653-030.SATISFIABLE.cnf	SAT	1863.49	1863.45	3210733
random/medium/ unif-k3-r4.26-v650-c2769-S1920526651-049.SATISFIABLE.cnf	SAT	2027.21	2027.14	3210817
random/medium/ unif-k7-r89-v70-c6230-S1351138814-007.SATISFIABLE.cnf	SAT	2109.75	2109.71	3210797
random/medium/ unif-k7-r89-v70-c6230-S314780693-050.SATISFIABLE.cnf	SAT	2995.85	2995.78	3211529
random/medium/ unif-k7-r89-v70-c6230-S2045410966-069.SATISFIABLE.cnf	SAT	3111.11	3111.01	3211273
random/medium/ unif-k7-r89-v70-c6230-S944754256-018.SATISFIABLE.cnf	SAT	3215.47	3215.39	3210229
random/medium/ unif-k3-r4.26-v600-c2556-S379672572-039.SATISFIABLE.cnf	SAT	3461.39	3461.31	3210865
random/medium/ unif-k5-r21.3-v125-c2662-S218235649-089.SATISFIABLE.cnf	SAT	3770.36	3770.27	3211637
random/medium/ unif-k3-r4.26-v650-c2769-S466707249-079.SATISFIABLE.cnf	SAT	3799.5	3799.43	3211585
random/medium/ unif-k7-r89-v70-c6230-S2143190124-085.SATISFIABLE.cnf	SAT	4257.66	4257.56	3210621
random/medium/ unif-k3-r4.26-v600-c2556-S1468528501-076.SATISFIABLE.cnf	SAT	4450.26	4450.17	3210645

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
random/medium/ unif-k7-r89-v80-c7120-S2107193201-069.UNKNOWN.cnf	? (TO)	4999.81	5000.03	3210653
random/large/ unif-k3-r4.2-v15000-c63000-S1386494586-003-UNKNOWN.cnf	? (TO)	4999.83	5000.01	3209861
random/medium/ unif-k5-r21.3-v125-c2662-S1397972185-007.UNKNOWN.cnf	? (TO)	4999.86	5000.04	3210885
random/medium/ unif-k3-r4.26-v650-c2769-S216164582-083.UNKNOWN.cnf	? (TO)	4999.88	5000.03	3211441
random/large/ unif-k7-r85-v200-c17000-S970203146-047-UNKNOWN.cnf	? (TO)	4999.88	5000.03	3209957
random/large/ unif-k3-r4.2-v20000-c84000-S921718479-079-UNKNOWN.cnf	? (TO)	4999.93	5000.01	3209753
random/medium/ unif-k3-r4.26-v700-c2982-S1124205008-074.UNKNOWN.cnf	? (TO)	4999.98	5000.04	3211561
random/large/ unif-k5-r20-v2000-c40000-S1993071608-084-UNKNOWN.cnf	? (TO)	5000.01	5000.02	3209953
random/large/ unif-k3-r4.2-v15000-c63000-S1201608256-021-UNKNOWN.cnf	? (TO)	5000.01	5000.01	3209673
random/large/ unif-k3-r4.2-v40000-c168000-S1368340883-085-UNKNOWN.cnf	? (TO)	5000.02	5000.02	3209569
random/large/ unif-k3-r4.2-v20000-c84000-S313385224-076-UNKNOWN.cnf	? (TO)	5000.02	4999.91	3209897
random/large/ unif-k3-r4.2-v50000-c210000-S964643921-035-UNKNOWN.cnf	? (TO)	5000.02	4999.91	3210209
random/large/ unif-k3-r4.2-v25000-c105000-S92008434-079-UNKNOWN.cnf	? (TO)	5000.03	4999.91	3209501
random/large/ unif-k3-r4.2-v5000-c21000-S912026804-034-UNKNOWN.cnf	? (TO)	5000.03	4999.92	3209633
random/large/ unif-k3-r4.2-v40000-c168000-S907804052-003-UNKNOWN.cnf	? (TO)	5000.03	4999.91	3210121
random/large/ unif-k3-r4.2-v35000-c147000-S1268831169-016-UNKNOWN.cnf	? (TO)	5000.03	4999.91	3210017
random/large/ unif-k3-r4.2-v20000-c84000-S525505471-054-UNKNOWN.cnf	? (TO)	5000.03	4999.91	3209801
random/large/ unif-k3-r4.2-v10000-c42000-S338979727-056-UNKNOWN.cnf	? (TO)	5000.03	4999.92	3209529
random/large/ unif-k3-r4.2-v10000-c42000-S1256256213-053-UNKNOWN.cnf	? (TO)	5000.03	4999.92	3209425
random/large/ unif-k7-r85-v300-c25500-S942666749-061-UNKNOWN.cnf	? (TO)	5000.03	5000.03	3209573
random/large/ unif-k3-r4.2-v15000-c63000-S43885340-006-UNKNOWN.cnf	? (TO)	5000.03	4999.91	3210125
random/large/ unif-k3-r4.2-v5000-c21000-S434028979-077-UNKNOWN.cnf	? (TO)	5000.03	4999.92	3209721
random/large/ unif-k3-r4.2-v50000-c210000-S758437099-099-UNKNOWN.cnf	? (TO)	5000.03	4999.91	3209825
random/large/ unif-k3-r4.2-v40000-c168000-S471691933-060-UNKNOWN.cnf	? (TO)	5000.03	4999.91	3209717
random/large/ unif-k3-r4.2-v50000-c210000-S746725327-020-UNKNOWN.cnf	? (TO)	5000.03	4999.91	3209713
random/medium/ unif-k3-r4.26-v650-c2769-S944656226-046.UNKNOWN.cnf	? (TO)	5000.04	4999.93	3211325
random/large/ unif-k7-r85-v400-c34000-S927774663-037-UNKNOWN.cnf	? (TO)	5000.04	4999.93	3209809
random/medium/ unif-k7-r89-v80-c7120-S1901567697-013.UNKNOWN.cnf	? (TO)	5000.04	4999.92	3210333
random/large/ unif-k3-r4.2-v25000-c105000-S808762165-030-UNKNOWN.cnf	? (TO)	5000.04	4999.91	3210189
random/medium/ unif-k5-r21.3-v150-c3195-S1632870961-099.SATISFIABLE.cnf	? (TO)	5000.04	5000.05	3211245
random/large/ unif-k3-r4.2-v15000-c63000-S1868678442-026-UNKNOWN.cnf	? (TO)	5000.04	4999.91	3209449
random/medium/ unif-k7-r89-v90-c8010-S64052796-033.SATISFIABLE.cnf	? (TO)	5000.04	4999.93	3210745
random/large/ unif-k5-r20-v2000-c40000-S1264065752-051-UNKNOWN.cnf	? (TO)	5000.04	4999.92	3209925
random/medium/ unif-k7-r89-v90-c8010-S661190852-039.SATISFIABLE.cnf	? (TO)	5000.04	4999.93	3210345
random/large/ unif-k7-r85-v400-c34000-S1275797759-041-UNKNOWN.cnf	? (TO)	5000.04	4999.93	3209921
random/large/ unif-k3-r4.2-v40000-c168000-S895938734-057-UNKNOWN.cnf	? (TO)	5000.04	4999.81	3209533
random/medium/ unif-k7-r89-v80-c7120-S1147977026-087.SATISFIABLE.cnf	? (TO)	5000.04	4999.93	3210233
random/medium/ unif-k3-r4.26-v700-c2982-S1230934123-063.UNKNOWN.cnf	? (TO)	5000.04	4999.93	3211025
random/large/ unif-k3-r4.2-v10000-c42000-S977705304-066-UNKNOWN.cnf	? (TO)	5000.04	4999.92	3209601
random/large/ unif-k5-r20-v1250-c25000-S540595895-046-UNKNOWN.cnf	? (TO)	5000.04	4999.94	3209965
random/large/ unif-k3-r4.2-v5000-c21000-S1157767653-025-UNKNOWN.cnf	? (TO)	5000.04	4999.92	3209617
random/large/ unif-k3-r4.2-v30000-c126000-S913491256-073-UNKNOWN.cnf	? (TO)	5000.04	4999.81	3209637
random/large/ unif-k3-r4.2-v40000-c168000-S1920335371-069-UNKNOWN.cnf	? (TO)	5000.04	4999.91	3210077
random/medium/ unif-k3-r4.26-v650-c2769-S910125393-002.UNKNOWN.cnf	? (TO)	5000.04	4999.93	3211021
random/medium/ unif-k7-r89-v90-c8010-S51928934-076.SATISFIABLE.cnf	? (TO)	5000.04	4999.93	3211361
random/medium/ unif-k7-r89-v70-c6230-S1960545292-083.UNKNOWN.cnf	? (TO)	5000.04	4999.93	3211617
random/large/ unif-k5-r20-v2000-c40000-S394483079-002-UNKNOWN.cnf	? (TO)	5000.04	4999.93	3209705
random/large/ unif-k7-r85-v200-c17000-S1227169170-092-UNKNOWN.cnf	? (TO)	5000.04	4999.93	3209725
random/large/ unif-k3-r4.2-v50000-c210000-S1170024351-015-UNKNOWN.cnf	? (TO)	5000.04	4999.91	3210197
random/large/ unif-k3-r4.2-v50000-c210000-S1401248878-094-UNKNOWN.cnf	? (TO)	5000.04	4999.81	3209745
random/medium/ unif-k7-r89-v80-c7120-S1639347701-083.SATISFIABLE.cnf	? (TO)	5000.04	4999.92	3211113
random/large/ unif-k3-r4.2-v20000-c84000-S840292785-048-UNKNOWN.cnf	? (TO)	5000.04	4999.91	3209997
random/large/ unif-k3-r4.2-v2500-c10500-S1907658523-004-UNKNOWN.cnf	? (TO)	5000.05	4999.93	3210005
random/large/ unif-k3-r4.2-v2500-c10500-S722024572-014-UNKNOWN.cnf	? (TO)	5000.05	4999.93	3209621
random/large/ unif-k7-r85-v300-c25500-S680524168-083-UNKNOWN.cnf	? (TO)	5000.05	4999.93	3209905
random/large/ unif-k3-r4.2-v2500-c10500-S924370159-018-UNKNOWN.cnf	? (TO)	5000.05	4999.93	3209509
random/large/ unif-k3-r4.2-v5000-c21000-S720914503-051-UNKNOWN.cnf	? (TO)	5000.05	4999.92	3209901
random/large/ unif-k7-r85-v300-c25500-S1158419275-045-UNKNOWN.cnf	? (TO)	5000.05	4999.93	3210001
random/large/ unif-k3-r4.2-v35000-c147000-S1098107876-060-UNKNOWN.cnf	? (TO)	5000.05	4999.91	3209505
random/medium/ unif-k7-r89-v80-c7120-S1968028041-077.UNKNOWN.cnf	? (TO)	5000.05	4999.93	3211749
random/large/ unif-k3-r4.2-v10000-c42000-S903594090-011-UNKNOWN.cnf	? (TO)	5000.05	4999.92	3209765
random/large/ unif-k3-r4.2-v35000-c147000-S1886449473-022-UNKNOWN.cnf	? (TO)	5000.05	4999.91	3209893
random/medium/ unif-k7-r89-v80-c7120-S175431861-098.SATISFIABLE.cnf	? (TO)	5000.05	4999.92	3210753
random/medium/ unif-k3-r4.26-v750-c3195-S973075635-083.SATISFIABLE.cnf	? (TO)	5000.05	4999.94	3210633
random/medium/ unif-k5-r21.3-v175-c3727-S520872997-084.SATISFIABLE.cnf	? (TO)	5000.05	4999.95	3210265
random/medium/ unif-k5-r21.3-v175-c3727-S100095490-071.SATISFIABLE.cnf	? (TO)	5000.05	4999.94	3210985
random/medium/ unif-k3-r4.26-v650-c2769-S29470018-050.UNKNOWN.cnf	? (TO)	5000.05	4999.93	3211269
random/large/ unif-k7-r85-v200-c17000-S283489555-036-UNKNOWN.cnf	? (TO)	5000.05	5000.03	3209677
random/large/ unif-k5-r20-v2000-c40000-S61914820-087-UNKNOWN.cnf	? (TO)	5000.05	4999.83	3209945
random/medium/ unif-k3-r4.26-v700-c2982-S826445785-043.UNKNOWN.cnf	? (TO)	5000.05	4999.93	3210261
random/medium/ unif-k5-r21.3-v150-c3195-S1847541883-049.UNKNOWN.cnf	? (TO)	5000.05	4999.94	3211189
random/medium/ unif-k3-r4.26-v650-c2769-S1235135694-059.UNKNOWN.cnf	? (TO)	5000.05	4999.94	3210917
random/large/ unif-k7-r85-v150-c12750-S511186849-048-UNKNOWN.cnf	? (TO)	5000.05	4999.93	3210021
random/large/ unif-k3-r4.2-v2500-c10500-S882087907-088-UNKNOWN.cnf	? (TO)	5000.05	4999.93	3209701
random/large/ unif-k3-r4.2-v2500-c10500-S49783605-066-UNKNOWN.cnf	? (TO)	5000.05	4999.93	3209993
random/medium/ unif-k7-r89-v90-c8010-S231612998-061.SATISFIABLE.cnf	? (TO)	5000.05	4999.93	3211397
random/large/ unif-k5-r20-v2000-c40000-S971556279-001-UNKNOWN.cnf	? (TO)	5000.05	4999.82	3209949
random/large/ unif-k5-r20-v2000-c40000-S837431592-027-UNKNOWN.cnf	? (TO)	5000.05	4999.93	3209869
random/large/ unif-k3-r4.2-v2500-c10500-S705365444-036-UNKNOWN.cnf	? (TO)	5000.05	4999.83	3209853
random/medium/ unif-k7-r89-v90-c8010-S2127424322-078.UNKNOWN.cnf	? (TO)	5000.05	4999.93	3210861
random/medium/ unif-k3-r4.26-v700-c2982-S899463426-096.UNKNOWN.cnf	? (TO)	5000.05	4999.94	3210465
random/medium/ unif-k7-r89-v80-c7120-S1801179747-047.SATISFIABLE.cnf	? (TO)	5000.05	4999.93	3211093
random/medium/ unif-k7-r89-v90-c8010-S741717046-057.UNKNOWN.cnf	? (TO)	5000.05	4999.93	3211533
random/large/ unif-k5-r20-v1500-c30000-S1305346115-067-UNKNOWN.cnf	? (TO)	5000.05	4999.94	3210137
random/medium/ unif-k3-r4.26-v600-c2556-S869604189-077.UNKNOWN.cnf	? (TO)	5000.05	4999.93	3211337
random/medium/ unif-k5-r21.3-v125-c2662-S396831120-092.UNKNOWN.cnf	? (TO)	5000.05	4999.94	3210361
random/medium/ unif-k3-r4.26-v650-c2769-S1298256564-085.UNKNOWN.cnf	? (TO)	5000.05	4999.93	3210281
random/large/ unif-k7-r85-v150-c12750-S1290198737-013-UNKNOWN.cnf	? (TO)	5000.05	4999.93	3210141
random/medium/ unif-k3-r4.26-v800-c3408-S852188518-088.SATISFIABLE.cnf	? (TO)	5000.05	4999.94	3210277
random/large/ unif-k3-r4.2-v15000-c63000-S980027332-029-UNKNOWN.cnf	? (TO)	5000.05	4999.91	3209793
random/large/ unif-k7-r85-v250-c21250-S894356234-063-UNKNOWN.cnf	? (TO)	5000.05	4999.93	3209909
random/large/ unif-k7-r85-v300-c25500-S1859210562-077-UNKNOWN.cnf	? (TO)	5000.05	4999.93	3210117
random/medium/ unif-k3-r4.26-v700-c2982-S1971541934-090.UNKNOWN.cnf	? (TO)	5000.05	4999.94	3210697
random/medium/ unif-k7-r89-v90-c8010-S1458811765-091.UNKNOWN.cnf	? (TO)	5000.05	4999.93	3211793
random/large/ unif-k3-r4.2-v25000-c105000-S919014656-003-UNKNOWN.cnf	? (TO)	5000.05	4999.91	3210213
random/medium/ unif-k3-r4.26-v600-c2556-S1245124682-071.UNKNOWN.cnf	? (TO)	5000.05	4999.93	3210477
random/large/ unif-k7-r85-v300-c25500-S376724493-075-UNKNOWN.cnf	? (TO)	5000.05	4999.93	3209829
random/large/ unif-k7-r85-v300-c25500-S966156467-066-UNKNOWN.cnf	? (TO)	5000.05	4999.93	3209609
random/large/ unif-k7-r85-v400-c34000-S1897807474-073-UNKNOWN.cnf	? (TO)	5000.05	4999.93	3209613
random/medium/ unif-k7-r89-v90-c8010-S2014736708-037.SATISFIABLE.cnf	? (TO)	5000.06	4999.93	3210681
random/large/ unif-k5-r20-v1250-c25000-S1688530456-019-UNKNOWN.cnf	? (TO)	5000.06	4999.93	3209517
random/medium/ unif-k5-r21.3-v175-c3727-S752966552-099.SATISFIABLE.cnf	? (TO)	5000.06	4999.94	3210649
random/medium/ unif-k5-r21.3-v150-c3195-S1653142431-025.UNKNOWN.cnf	? (TO)	5000.06	4999.94	3210509
random/medium/ unif-k5-r21.3-v150-c3195-S1116496771-020.SATISFIABLE.cnf	? (TO)	5000.06	4999.94	3210513
random/medium/ unif-k5-r21.3-v125-c2662-S1224290751-070.UNKNOWN.cnf	? (TO)	5000.06	4999.94	3210517
random/medium/ unif-k7-r89-v90-c8010-S1828831772-021.SATISFIABLE.cnf	? (TO)	5000.06	4999.93	3210593
random/large/ unif-k7-r85-v150-c12750-S313239685-087-UNKNOWN.cnf	? (TO)	5000.06	4999.83	3209537
random/large/ unif-k5-r20-v1000-c20000-S541740666-063-UNKNOWN.cnf	? (TO)	5000.06	4999.94	3209541
random/large/ unif-k7-r85-v150-c12750-S93401285-051-UNKNOWN.cnf	? (TO)	5000.06	4999.83	3209429
random/large/ unif-k5-r20-v1500-c30000-S1793954886-065-UNKNOWN.cnf	? (TO)	5000.06	4999.94	3209557
random/medium/ unif-k3-r4.26-v600-c2556-S1720013904-060.UNKNOWN.cnf	? (TO)	5000.06	4999.93	3211037
random/large/ unif-k7-r85-v200-c17000-S862393334-098-UNKNOWN.cnf	? (TO)	5000.06	4999.83	3209433
random/large/ unif-k5-r20-v1000-c20000-S72635791-098-UNKNOWN.cnf	? (TO)	5000.06	4999.94	3209597
random/large/ unif-k3-r4.2-v25000-c105000-S1838224332-006-UNKNOWN.cnf	? (TO)	5000.06	4999.91	3209625
random/medium/ unif-k3-r4.26-v650-c2769-S1631976568-086.UNKNOWN.cnf	? (TO)	5000.06	4999.83	3211709
random/large/ unif-k7-r85-v200-c17000-S1348818483-020-UNKNOWN.cnf	? (TO)	5000.06	4999.93	3209661
random/medium/ unif-k3-r4.26-v600-c2556-S2050053883-062.SATISFIABLE.cnf	? (TO)	5000.06	4999.93	3211321
random/large/ unif-k7-r85-v250-c21250-S317257086-003-UNKNOWN.cnf	? (TO)	5000.06	4999.93	3209729
random/medium/ unif-k7-r89-v70-c6230-S289144908-090.UNKNOWN.cnf	? (TO)	5000.06	4999.92	3210981
random/large/ unif-k7-r85-v250-c21250-S655589261-059-UNKNOWN.cnf	? (TO)	5000.06	4999.83	3209749
random/medium/ unif-k3-r4.26-v750-c3195-S158767647-027.SATISFIABLE.cnf	? (TO)	5000.06	4999.94	3211041
random/large/ unif-k3-r4.2-v30000-c126000-S858279511-076-UNKNOWN.cnf	? (TO)	5000.06	4999.91	3209797
random/large/ unif-k5-r20-v1250-c25000-S936047914-093-UNKNOWN.cnf	? (TO)	5000.06	4999.94	3209813
random/large/ unif-k3-r4.2-v10000-c42000-S963265686-085-UNKNOWN.cnf	? (TO)	5000.06	4999.92	3209817
random/large/ unif-k3-r4.2-v20000-c84000-S493397373-056-UNKNOWN.cnf	? (TO)	5000.06	4999.91	3209821
random/medium/ unif-k3-r4.26-v650-c2769-S510739670-068.UNKNOWN.cnf	? (TO)	5000.06	4999.93	3211229
random/medium/ unif-k3-r4.26-v650-c2769-S1069233620-009.SATISFIABLE.cnf	? (TO)	5000.06	4999.93	3211241
random/medium/ unif-k7-r89-v80-c7120-S199880667-010.UNKNOWN.cnf	? (TO)	5000.06	4999.93	3210905
random/large/ unif-k3-r4.2-v25000-c105000-S30704505-092-UNKNOWN.cnf	? (TO)	5000.06	4999.91	3209917
random/large/ unif-k5-r20-v1500-c30000-S377999798-061-UNKNOWN.cnf	? (TO)	5000.06	4999.94	3209961
random/medium/ unif-k3-r4.26-v700-c2982-S115072124-051.SATISFIABLE.cnf	? (TO)	5000.06	4999.94	3211357
random/large/ unif-k3-r4.2-v20000-c84000-S1298436766-097-UNKNOWN.cnf	? (TO)	5000.06	4999.91	3209989
random/large/ unif-k3-r4.2-v30000-c126000-S285324961-078-UNKNOWN.cnf	? (TO)	5000.06	4999.91	3210009
random/medium/ unif-k3-r4.26-v700-c2982-S608588601-044.SATISFIABLE.cnf	? (TO)	5000.06	4999.94	3211317
random/large/ unif-k3-r4.2-v30000-c126000-S926207202-053-UNKNOWN.cnf	? (TO)	5000.06	4999.91	3210033
random/large/ unif-k3-r4.2-v30000-c126000-S1354319962-100-UNKNOWN.cnf	? (TO)	5000.06	4999.91	3210049
random/large/ unif-k5-r20-v2000-c40000-S922811046-076-UNKNOWN.cnf	? (TO)	5000.06	4999.93	3210105
random/large/ unif-k3-r4.2-v10000-c42000-S1091905403-047-UNKNOWN.cnf	? (TO)	5000.06	4999.92	3210109
random/large/ unif-k3-r4.2-v10000-c42000-S677627694-051-UNKNOWN.cnf	? (TO)	5000.06	4999.92	3210129
random/large/ unif-k3-r4.2-v15000-c63000-S619136916-059-UNKNOWN.cnf	? (TO)	5000.06	4999.91	3210133
random/medium/ unif-k5-r21.3-v125-c2662-S1061710238-001.UNKNOWN.cnf	? (TO)	5000.06	4999.93	3210749
random/large/ unif-k5-r20-v1000-c20000-S1351005860-011-UNKNOWN.cnf	? (TO)	5000.06	4999.94	3210157
random/medium/ unif-k3-r4.26-v600-c2556-S506401817-075.UNKNOWN.cnf	? (TO)	5000.06	4999.93	3211369
random/large/ unif-k7-r85-v250-c21250-S977260632-016-UNKNOWN.cnf	? (TO)	5000.06	4999.93	3210185
random/medium/ unif-k5-r21.3-v125-c2662-S689381858-022.UNKNOWN.cnf	? (TO)	5000.06	4999.94	3211493
random/medium/ unif-k5-r21.3-v175-c3727-S110935064-075.SATISFIABLE.cnf	? (TO)	5000.06	4999.95	3210689
random/large/ unif-k5-r20-v1250-c25000-S1103412232-098-UNKNOWN.cnf	? (TO)	5000.06	4999.93	3209513
random/medium/ unif-k7-r89-v70-c6230-S635440951-015.UNKNOWN.cnf	? (TO)	5000.06	4999.93	3210677
random/medium/ unif-k7-r89-v90-c8010-S1475406203-080.UNKNOWN.cnf	? (TO)	5000.07	4999.93	3210701
random/medium/ unif-k3-r4.26-v800-c3408-S456969343-019.SATISFIABLE.cnf	? (TO)	5000.07	4999.94	3210837
random/large/ unif-k7-r85-v200-c17000-S181603592-089-UNKNOWN.cnf	? (TO)	5000.07	4999.93	3209553
random/large/ unif-k7-r85-v150-c12750-S1737989193-079-UNKNOWN.cnf	? (TO)	5000.07	4999.94	3210065
random/large/ unif-k5-r20-v1500-c30000-S877088425-001-UNKNOWN.cnf	? (TO)	5000.07	4999.93	3209497
random/large/ unif-k7-r85-v300-c25500-S926861876-013-UNKNOWN.cnf	? (TO)	5000.07	4999.93	3209657
random/large/ unif-k5-r20-v750-c15000-S976181807-056-UNKNOWN.cnf	? (TO)	5000.07	4999.95	3210153
random/large/ unif-k5-r20-v1000-c20000-S1950850246-038-UNKNOWN.cnf	? (TO)	5000.07	5000.04	3209757
random/medium/ unif-k5-r21.3-v150-c3195-S873866006-055.UNKNOWN.cnf	? (TO)	5000.07	4999.94	3210369
random/medium/ unif-k5-r21.3-v150-c3195-S1428216398-076.SATISFIABLE.cnf	? (TO)	5000.07	4999.94	3211057
random/medium/ unif-k3-r4.26-v700-c2982-S1800377425-032.UNKNOWN.cnf	? (TO)	5000.07	4999.94	3210901
random/medium/ unif-k3-r4.26-v650-c2769-S1261029273-036.SATISFIABLE.cnf	? (TO)	5000.07	4999.94	3211577
random/medium/ unif-k7-r89-v90-c8010-S2039249975-038.SATISFIABLE.cnf	? (TO)	5000.07	4999.83	3211641
random/large/ unif-k5-r20-v1250-c25000-S935783783-069-UNKNOWN.cnf	? (TO)	5000.07	4999.84	3209641
random/large/ unif-k3-r4.2-v15000-c63000-S594553190-015-UNKNOWN.cnf	? (TO)	5000.07	4999.91	3210097
random/large/ unif-k3-r4.2-v30000-c126000-S1196935200-064-UNKNOWN.cnf	? (TO)	5000.07	4999.91	3209629
random/medium/ unif-k7-r89-v80-c7120-S1818856267-075.UNKNOWN.cnf	? (TO)	5000.07	4999.93	3210469
random/medium/ unif-k3-r4.26-v800-c3408-S846876765-035.SATISFIABLE.cnf	? (TO)	5000.07	4999.94	3211661
random/large/ unif-k5-r20-v1500-c30000-S969405384-096-UNKNOWN.cnf	? (TO)	5000.07	4999.84	3209849
random/medium/ unif-k3-r4.26-v600-c2556-S1885965779-049.UNKNOWN.cnf	? (TO)	5000.07	4999.93	3211785
random/large/ unif-k5-r20-v750-c15000-S131912631-041-UNKNOWN.cnf	? (TO)	5000.07	4999.94	3209805
random/large/ unif-k3-r4.2-v2500-c10500-S1201761407-024-UNKNOWN.cnf	? (TO)	5000.07	4999.93	3210053
random/medium/ unif-k7-r89-v80-c7120-S474185167-033.SATISFIABLE.cnf	? (TO)	5000.07	4999.93	3210705
random/large/ unif-k3-r4.2-v10000-c42000-S1778317451-042-UNKNOWN.cnf	? (TO)	5000.07	4999.92	3210173
random/medium/ unif-k3-r4.26-v700-c2982-S157016908-041.UNKNOWN.cnf	? (TO)	5000.07	4999.94	3211313
random/large/ unif-k7-r85-v400-c34000-S1163171897-095-UNKNOWN.cnf	? (TO)	5000.07	4999.93	3209985
random/medium/ unif-k3-r4.26-v550-c2343-S720541313-052.UNKNOWN.cnf	? (TO)	5000.07	4999.93	3210617
random/large/ unif-k3-r4.2-v25000-c105000-S533496308-018-UNKNOWN.cnf	? (TO)	5000.07	4999.91	3209781
random/large/ unif-k3-r4.2-v10000-c42000-S360796849-068-UNKNOWN.cnf	? (TO)	5000.07	4999.92	3209421
random/medium/ unif-k3-r4.26-v750-c3195-S397702672-080.SATISFIABLE.cnf	? (TO)	5000.07	4999.94	3211781
random/medium/ unif-k3-r4.26-v750-c3195-S576842028-023.SATISFIABLE.cnf	? (TO)	5000.08	4999.94	3210941
random/large/ unif-k7-r85-v150-c12750-S1101422472-003-UNKNOWN.cnf	? (TO)	5000.08	4999.93	3210013
random/medium/ unif-k7-r89-v90-c8010-S224440242-006.SATISFIABLE.cnf	? (TO)	5000.08	4999.93	3211689
random/medium/ unif-k3-r4.26-v700-c2982-S1565617179-002.UNKNOWN.cnf	? (TO)	5000.08	4999.94	3210321
random/large/ unif-k3-r4.2-v25000-c105000-S269939581-066-UNKNOWN.cnf	? (TO)	5000.08	5000.01	3210029
random/medium/ unif-k3-r4.26-v700-c2982-S1863077195-052.SATISFIABLE.cnf	? (TO)	5000.08	4999.94	3211373
random/medium/ unif-k3-r4.26-v600-c2556-S1339958817-007.UNKNOWN.cnf	? (TO)	5000.08	4999.93	3211197
random/large/ unif-k3-r4.2-v25000-c105000-S1233052734-067-UNKNOWN.cnf	? (TO)	5000.08	4999.91	3209473
random/large/ unif-k3-r4.2-v40000-c168000-S709305826-098-UNKNOWN.cnf	? (TO)	5000.08	4999.91	3209685
random/medium/ unif-k5-r21.3-v125-c2662-S121099030-067.UNKNOWN.cnf	? (TO)	5000.08	4999.94	3210781
random/large/ unif-k3-r4.2-v25000-c105000-S5267991-057-UNKNOWN.cnf	? (TO)	5000.08	4999.91	3209681
random/large/ unif-k7-r85-v150-c12750-S896023516-057-UNKNOWN.cnf	? (TO)	5000.08	4999.94	3209649
random/large/ unif-k5-r20-v1250-c25000-S871131876-087-UNKNOWN.cnf	? (TO)	5000.08	4999.94	3210201
random/medium/ unif-k3-r4.26-v550-c2343-S1554089933-067.UNKNOWN.cnf	? (TO)	5000.08	4999.93	3211153
random/large/ unif-k3-r4.2-v30000-c126000-S629207485-001-UNKNOWN.cnf	? (TO)	5000.08	4999.91	3209585
random/large/ unif-k3-r4.2-v20000-c84000-S1204913987-029-UNKNOWN.cnf	? (TO)	5000.08	4999.91	3209477
random/large/ unif-k5-r20-v1500-c30000-S715182559-083-UNKNOWN.cnf	? (TO)	5000.08	4999.94	3209545
random/medium/ unif-k5-r21.3-v150-c3195-S207562876-057.UNKNOWN.cnf	? (TO)	5000.08	4999.94	3210401
random/medium/ unif-k5-r21.3-v175-c3727-S539832832-088.SATISFIABLE.cnf	? (TO)	5000.08	4999.94	3210573
random/medium/ unif-k5-r21.3-v150-c3195-S375894551-007.UNKNOWN.cnf	? (TO)	5000.08	4999.94	3210385
random/medium/ unif-k7-r89-v80-c7120-S841042385-099.UNKNOWN.cnf	? (TO)	5000.08	4999.93	3211649
random/medium/ unif-k3-r4.26-v550-c2343-S1114532273-035.SATISFIABLE.cnf	? (TO)	5000.08	4999.93	3211085
random/medium/ unif-k7-r89-v90-c8010-S1897189325-062.UNKNOWN.cnf	? (TO)	5000.08	4999.93	3211621
random/large/ unif-k3-r4.2-v15000-c63000-S89201333-019-UNKNOWN.cnf	? (TO)	5000.08	4999.91	3209877
random/large/ unif-k3-r4.2-v40000-c168000-S64788608-008-UNKNOWN.cnf	? (TO)	5000.08	4999.91	3209873
random/large/ unif-k7-r85-v400-c34000-S94779963-093-UNKNOWN.cnf	? (TO)	5000.08	4999.93	3210169
random/medium/ unif-k3-r4.26-v650-c2769-S960948361-055.UNKNOWN.cnf	? (TO)	5000.08	4999.94	3210877
random/medium/ unif-k5-r21.3-v125-c2662-S236776564-037.SATISFIABLE.cnf	? (TO)	5000.08	4999.94	3211673
random/medium/ unif-k3-r4.26-v650-c2769-S1402967451-034.SATISFIABLE.cnf	? (TO)	5000.08	4999.93	3211677
random/large/ unif-k3-r4.2-v5000-c21000-S1259410977-065-UNKNOWN.cnf	? (TO)	5000.09	4999.92	3209973
random/medium/ unif-k3-r4.26-v600-c2556-S1677156340-036.UNKNOWN.cnf	? (TO)	5000.09	4999.94	3211105
random/medium/ unif-k5-r21.3-v125-c2662-S1647930270-030.UNKNOWN.cnf	? (TO)	5000.09	4999.94	3211225
random/medium/ unif-k7-r89-v90-c8010-S501033814-049.SATISFIABLE.cnf	? (TO)	5000.09	4999.93	3211305
random/large/ unif-k5-r20-v2000-c40000-S656892101-075-UNKNOWN.cnf	? (TO)	5000.09	4999.93	3209521
random/large/ unif-k7-r85-v250-c21250-S381985918-018-UNKNOWN.cnf	? (TO)	5000.09	4999.93	3209525
random/large/ unif-k3-r4.2-v10000-c42000-S709804505-031-UNKNOWN.cnf	? (TO)	5000.09	4999.92	3209581
random/large/ unif-k3-r4.2-v30000-c126000-S1854039067-041-UNKNOWN.cnf	? (TO)	5000.09	4999.91	3209593
random/large/ unif-k3-r4.2-v50000-c210000-S957916968-041-UNKNOWN.cnf	? (TO)	5000.09	4999.91	3209605
random/large/ unif-k3-r4.2-v15000-c63000-S976131144-051-UNKNOWN.cnf	? (TO)	5000.09	4999.91	3209689
random/large/ unif-k3-r4.2-v35000-c147000-S950666065-093-UNKNOWN.cnf	? (TO)	5000.09	4999.91	3209693
random/large/ unif-k3-r4.2-v25000-c105000-S109959541-056-UNKNOWN.cnf	? (TO)	5000.09	4999.91	3209709
random/large/ unif-k3-r4.2-v5000-c21000-S72547786-008-UNKNOWN.cnf	? (TO)	5000.09	4999.92	3209769
random/large/ unif-k3-r4.2-v20000-c84000-S357264423-067-UNKNOWN.cnf	? (TO)	5000.09	5000.01	3209789
random/large/ unif-k3-r4.2-v40000-c168000-S386300535-065-UNKNOWN.cnf	? (TO)	5000.09	5000.01	3210085
random/large/ unif-k3-r4.2-v40000-c168000-S1184456903-078-UNKNOWN.cnf	? (TO)	5000.09	5000.01	3209837
random/large/ unif-k3-r4.2-v35000-c147000-S648642831-094-UNKNOWN.cnf	? (TO)	5000.09	4999.91	3209841
random/large/ unif-k3-r4.2-v35000-c147000-S970100151-015-UNKNOWN.cnf	? (TO)	5000.09	4999.91	3209845
random/medium/ unif-k5-r21.3-v175-c3727-S1126657927-015.SATISFIABLE.cnf	? (TO)	5000.09	4999.94	3211657
random/large/ unif-k5-r20-v750-c15000-S888530894-020-UNKNOWN.cnf	? (TO)	5000.09	4999.95	3209889
random/medium/ unif-k3-r4.26-v750-c3195-S1115406553-014.SATISFIABLE.cnf	? (TO)	5000.09	4999.94	3211805
random/large/ unif-k3-r4.2-v30000-c126000-S643238994-057-UNKNOWN.cnf	? (TO)	5000.09	5000.01	3210025
random/medium/ unif-k5-r21.3-v125-c2662-S118521533-021.UNKNOWN.cnf	? (TO)	5000.09	4999.94	3211797
random/large/ unif-k5-r20-v1000-c20000-S698025027-034-UNKNOWN.cnf	? (TO)	5000.09	4999.95	3210069
random/large/ unif-k3-r4.2-v50000-c210000-S517749870-003-UNKNOWN.cnf	? (TO)	5000.09	5000.02	3210093
random/large/ unif-k3-r4.2-v5000-c21000-S901912629-090-UNKNOWN.cnf	? (TO)	5000.09	4999.92	3210101
random/medium/ unif-k3-r4.26-v750-c3195-S8215859-049.SATISFIABLE.cnf	? (TO)	5000.09	4999.94	3210253
random/medium/ unif-k3-r4.26-v800-c3408-S1631205309-024.SATISFIABLE.cnf	? (TO)	5000.09	4999.94	3210349
random/medium/ unif-k3-r4.26-v750-c3195-S664770261-061.SATISFIABLE.cnf	? (TO)	5000.09	4999.94	3210489
random/medium/ unif-k5-r21.3-v125-c2662-S1258495116-025.SATISFIABLE.cnf	? (TO)	5000.09	4999.94	3210553
random/medium/ unif-k7-r89-v90-c8010-S775210372-041.UNKNOWN.cnf	? (TO)	5000.09	4999.93	3210629
random/medium/ unif-k3-r4.26-v700-c2982-S628307658-028.SATISFIABLE.cnf	? (TO)	5000.09	4999.94	3210669
random/medium/ unif-k7-r89-v80-c7120-S1980280938-088.UNKNOWN.cnf	? (TO)	5000.09	4999.93	3210717
random/large/ unif-k3-r4.2-v35000-c147000-S419010076-063-UNKNOWN.cnf	? (TO)	5000.09	4999.91	3209481
random/medium/ unif-k3-r4.26-v800-c3408-S1831593686-090.SATISFIABLE.cnf	? (TO)	5000.1	4999.94	3210445
random/medium/ unif-k7-r89-v90-c8010-S271997978-024.SATISFIABLE.cnf	? (TO)	5000.1	4999.93	3211457
random/medium/ unif-k5-r21.3-v150-c3195-S788239782-034.UNKNOWN.cnf	? (TO)	5000.1	4999.94	3211461
random/medium/ unif-k3-r4.26-v700-c2982-S893015585-015.SATISFIABLE.cnf	? (TO)	5000.1	4999.94	3211217
random/medium/ unif-k7-r89-v90-c8010-S423984545-074.UNKNOWN.cnf	? (TO)	5000.1	5000.03	3211485
random/medium/ unif-k3-r4.26-v800-c3408-S902286199-017.SATISFIABLE.cnf	? (TO)	5000.1	5000.04	3211489
random/medium/ unif-k5-r21.3-v175-c3727-S1110880865-004.SATISFIABLE.cnf	? (TO)	5000.1	4999.95	3210249
random/medium/ unif-k7-r89-v90-c8010-S818753762-096.UNKNOWN.cnf	? (TO)	5000.1	4999.93	3210217
random/large/ unif-k5-r20-v1250-c25000-S313445894-099-UNKNOWN.cnf	? (TO)	5000.1	4999.94	3210205
random/medium/ unif-k5-r21.3-v125-c2662-S2092454698-027.UNKNOWN.cnf	? (TO)	5000.1	4999.94	3211497
random/medium/ unif-k5-r21.3-v150-c3195-S1499315720-089.SATISFIABLE.cnf	? (TO)	5000.1	4999.94	3211333
random/large/ unif-k5-r20-v1000-c20000-S107009952-009-UNKNOWN.cnf	? (TO)	5000.1	4999.94	3209417
random/large/ unif-k3-r4.2-v35000-c147000-S625465881-078-UNKNOWN.cnf	? (TO)	5000.1	4999.91	3210149
random/large/ unif-k3-r4.2-v20000-c84000-S878494004-057-UNKNOWN.cnf	? (TO)	5000.1	4999.91	3210145
random/medium/ unif-k3-r4.26-v650-c2769-S2065143904-035.UNKNOWN.cnf	? (TO)	5000.1	4999.94	3211589
random/large/ unif-k7-r85-v200-c17000-S72668411-025-UNKNOWN.cnf	? (TO)	5000.1	4999.93	3210061
random/medium/ unif-k5-r21.3-v150-c3195-S1216095115-028.SATISFIABLE.cnf	? (TO)	5000.1	4999.94	3210821
random/medium/ unif-k3-r4.26-v750-c3195-S2050161601-088.SATISFIABLE.cnf	? (TO)	5000.1	4999.94	3210825
random/medium/ unif-k7-r89-v80-c7120-S1254315629-032.SATISFIABLE.cnf	? (TO)	5000.1	5000.03	3210829
random/large/ unif-k7-r85-v400-c34000-S536077088-015-UNKNOWN.cnf	? (TO)	5000.1	4999.93	3210057
random/large/ unif-k5-r20-v750-c15000-S656533785-100-UNKNOWN.cnf	? (TO)	5000.1	4999.95	3210037
random/medium/ unif-k5-r21.3-v125-c2662-S1194239878-049.UNKNOWN.cnf	? (TO)	5000.1	4999.94	3211125
random/large/ unif-k7-r85-v400-c34000-S817927155-033-UNKNOWN.cnf	? (TO)	5000.1	5000.03	3209977
random/medium/ unif-k7-r89-v80-c7120-S1637697223-097.UNKNOWN.cnf	? (TO)	5000.1	4999.93	3211065
random/large/ unif-k3-r4.2-v2500-c10500-S89508070-083-UNKNOWN.cnf	? (TO)	5000.1	4999.93	3209969
random/large/ unif-k5-r20-v750-c15000-S3662714-068-UNKNOWN.cnf	? (TO)	5000.1	4999.95	3209453
random/medium/ unif-k3-r4.26-v800-c3408-S1534711423-054.SATISFIABLE.cnf	? (TO)	5000.1	4999.94	3210893
random/large/ unif-k5-r20-v750-c15000-S1207160791-083-UNKNOWN.cnf	? (TO)	5000.1	4999.95	3209913
random/large/ unif-k7-r85-v400-c34000-S943787219-031-UNKNOWN.cnf	? (TO)	5000.1	5000.03	3209885
random/large/ unif-k7-r85-v200-c17000-S771170845-016-UNKNOWN.cnf	? (TO)	5000.1	4999.93	3209777
random/large/ unif-k7-r85-v200-c17000-S949556727-080-UNKNOWN.cnf	? (TO)	5000.1	4999.93	3209773
random/large/ unif-k3-r4.2-v15000-c63000-S38529837-091-UNKNOWN.cnf	? (TO)	5000.1	4999.91	3209741
random/large/ unif-k5-r20-v750-c15000-S957625236-045-UNKNOWN.cnf	? (TO)	5000.1	4999.95	3209441
random/large/ unif-k5-r20-v750-c15000-S440979335-036-UNKNOWN.cnf	? (TO)	5000.1	4999.95	3209733
random/large/ unif-k7-r85-v400-c34000-S586055573-067-UNKNOWN.cnf	? (TO)	5000.1	5000.03	3210081
random/large/ unif-k3-r4.2-v40000-c168000-S845438593-067-UNKNOWN.cnf	? (TO)	5000.1	4999.91	3209665
random/large/ unif-k5-r20-v2000-c40000-S319509287-085-UNKNOWN.cnf	? (TO)	5000.1	4999.92	3209577
random/medium/ unif-k3-r4.26-v700-c2982-S942849-099.UNKNOWN.cnf	? (TO)	5000.1	4999.94	3210597
random/medium/ unif-k5-r21.3-v150-c3195-S2124915970-046.UNKNOWN.cnf	? (TO)	5000.1	4999.94	3210601
random/medium/ unif-k7-r89-v90-c8010-S764895749-094.UNKNOWN.cnf	? (TO)	5000.1	4999.93	3210541
random/large/ unif-k3-r4.2-v20000-c84000-S1778371838-017-UNKNOWN.cnf	? (TO)	5000.1	4999.91	3209565
random/medium/ unif-k7-r89-v70-c6230-S560963242-048.UNKNOWN.cnf	? (TO)	5000.11	4999.93	3211813
random/large/ unif-k3-r4.2-v35000-c147000-S883457431-033-UNKNOWN.cnf	? (TO)	5000.11	5000.01	3209437
random/large/ unif-k5-r20-v1500-c30000-S976428817-077-UNKNOWN.cnf	? (TO)	5000.11	5000.04	3209469
random/large/ unif-k3-r4.2-v50000-c210000-S1969540674-065-UNKNOWN.cnf	? (TO)	5000.11	4999.91	3209489
random/large/ unif-k5-r20-v2000-c40000-S1143439968-082-UNKNOWN.cnf	? (TO)	5000.11	4999.92	3209493
random/large/ unif-k3-r4.2-v50000-c210000-S537193780-078-UNKNOWN.cnf	? (TO)	5000.11	5000.01	3209549
random/large/ unif-k7-r85-v300-c25500-S1286362348-008-UNKNOWN.cnf	? (TO)	5000.11	4999.93	3209589
random/large/ unif-k3-r4.2-v5000-c21000-S425619685-036-UNKNOWN.cnf	? (TO)	5000.11	4999.92	3209669
random/large/ unif-k3-r4.2-v50000-c210000-S874492400-019-UNKNOWN.cnf	? (TO)	5000.11	4999.91	3209737
random/large/ unif-k5-r20-v1250-c25000-S1245360321-088-UNKNOWN.cnf	? (TO)	5000.11	5000.04	3209833
random/large/ unif-k3-r4.2-v30000-c126000-S379804333-028-UNKNOWN.cnf	? (TO)	5000.11	5000.01	3209865
random/large/ unif-k7-r85-v200-c17000-S335550727-070-UNKNOWN.cnf	? (TO)	5000.11	4999.93	3209937
random/large/ unif-k5-r20-v1500-c30000-S1180959030-088-UNKNOWN.cnf	? (TO)	5000.11	5000.03	3209981
random/large/ unif-k7-r85-v250-c21250-S981492757-074-UNKNOWN.cnf	? (TO)	5000.11	4999.93	3210041
random/large/ unif-k3-r4.2-v5000-c21000-S1781430408-009-UNKNOWN.cnf	? (TO)	5000.11	5000.02	3210113
random/large/ unif-k7-r85-v250-c21250-S58287803-001-UNKNOWN.cnf	? (TO)	5000.11	5000.03	3210161
random/medium/ unif-k3-r4.26-v650-c2769-S1495462442-016.SATISFIABLE.cnf	? (TO)	5000.11	5000.04	3210289
random/medium/ unif-k5-r21.3-v150-c3195-S334650851-022.SATISFIABLE.cnf	? (TO)	5000.11	4999.94	3210413
random/medium/ unif-k3-r4.26-v550-c2343-S816372663-049.UNKNOWN.cnf	? (TO)	5000.11	4999.93	3210849
random/medium/ unif-k5-r21.3-v150-c3195-S1502652578-043.UNKNOWN.cnf	? (TO)	5000.11	4999.95	3210949
random/medium/ unif-k5-r21.3-v150-c3195-S31505198-038.UNKNOWN.cnf	? (TO)	5000.11	5000.04	3211049
random/medium/ unif-k7-r89-v90-c8010-S1321406709-042.UNKNOWN.cnf	? (TO)	5000.11	4999.93	3211249
random/medium/ unif-k5-r21.3-v150-c3195-S1650617512-037.SATISFIABLE.cnf	? (TO)	5000.12	5000.04	3211701
random/medium/ unif-k3-r4.26-v600-c2556-S610796494-086.SATISFIABLE.cnf	? (TO)	5000.12	4999.93	3211429
random/medium/ unif-k7-r89-v80-c7120-S513640009-027.SATISFIABLE.cnf	? (TO)	5000.12	4999.93	3211433
random/medium/ unif-k7-r89-v80-c7120-S1494985128-003.UNKNOWN.cnf	? (TO)	5000.12	4999.93	3210269
random/large/ unif-k7-r85-v250-c21250-S1116436500-050-UNKNOWN.cnf	? (TO)	5000.12	4999.93	3210181
random/large/ unif-k5-r20-v1000-c20000-S519298227-080-UNKNOWN.cnf	? (TO)	5000.12	5000.04	3210165
random/large/ unif-k3-r4.2-v2500-c10500-S374960214-041-UNKNOWN.cnf	? (TO)	5000.12	5000.03	3210089
random/large/ unif-k7-r85-v300-c25500-S69399346-065-UNKNOWN.cnf	? (TO)	5000.12	4999.93	3210045
random/large/ unif-k7-r85-v150-c12750-S367425675-085-UNKNOWN.cnf	? (TO)	5000.12	5000.04	3209933
random/large/ unif-k5-r20-v1250-c25000-S269694958-008-UNKNOWN.cnf	? (TO)	5000.12	5000.04	3209929
random/large/ unif-k5-r20-v1500-c30000-S303265982-092-UNKNOWN.cnf	? (TO)	5000.12	5000.04	3209857
random/large/ unif-k5-r20-v1000-c20000-S945664020-055-UNKNOWN.cnf	? (TO)	5000.12	5000.05	3209785
random/large/ unif-k3-r4.2-v35000-c147000-S448503257-098-UNKNOWN.cnf	? (TO)	5000.12	5000.01	3209761
random/large/ unif-k7-r85-v150-c12750-S789865458-092-UNKNOWN.cnf	? (TO)	5000.12	4999.93	3209697
random/medium/ unif-k5-r21.3-v150-c3195-S1787844685-006.SATISFIABLE.cnf	? (TO)	5000.12	5000.04	3211733
random/large/ unif-k3-r4.2-v5000-c21000-S936020932-012-UNKNOWN.cnf	? (TO)	5000.12	5000.02	3209645
random/medium/ unif-k3-r4.26-v700-c2982-S812011128-009.SATISFIABLE.cnf	? (TO)	5000.12	5000.04	3211753
random/large/ unif-k3-r4.2-v2500-c10500-S1300417189-038-UNKNOWN.cnf	? (TO)	5000.12	4999.93	3209561
random/large/ unif-k5-r20-v1000-c20000-S941604910-059-UNKNOWN.cnf	? (TO)	5000.12	4999.94	3209485
random/large/ unif-k7-r85-v150-c12750-S541704841-072-UNKNOWN.cnf	? (TO)	5000.12	4999.93	3209461
random/large/ unif-k7-r85-v400-c34000-S832901479-042-UNKNOWN.cnf	? (TO)	5000.12	4999.93	3209457
random/medium/ unif-k7-r89-v80-c7120-S153059456-076.SATISFIABLE.cnf	? (TO)	5000.12	4999.93	3211141
random/medium/ unif-k5-r21.3-v175-c3727-S82160031-050.SATISFIABLE.cnf	? (TO)	5000.12	5000.04	3210725
random/medium/ unif-k3-r4.26-v750-c3195-S1378008329-078.SATISFIABLE.cnf	? (TO)	5000.12	5000.04	3210521
random/medium/ unif-k5-r21.3-v150-c3195-S1579607106-017.SATISFIABLE.cnf	? (TO)	5000.12	5000.04	3210449
random/medium/ unif-k3-r4.26-v600-c2556-S248192082-054.UNKNOWN.cnf	? (TO)	5000.13	4999.93	3210357
random/medium/ unif-k3-r4.26-v700-c2982-S2036658259-036.UNKNOWN.cnf	? (TO)	5000.13	4999.94	3210273
random/large/ unif-k5-r20-v1000-c20000-S883282443-030-UNKNOWN.cnf	? (TO)	5000.13	5000.05	3209445
random/large/ unif-k7-r85-v300-c25500-S415002759-031-UNKNOWN.cnf	? (TO)	5000.13	5000.03	3210193
random/large/ unif-k7-r85-v250-c21250-S1682211323-009-UNKNOWN.cnf	? (TO)	5000.13	5000.03	3209465
random/medium/ unif-k5-r21.3-v125-c2662-S446351158-079.SATISFIABLE.cnf	? (TO)	5000.13	4999.94	3210945
random/medium/ unif-k5-r21.3-v175-c3727-S1592669696-022.SATISFIABLE.cnf	? (TO)	5000.13	4999.95	3211209
random/medium/ unif-k7-r89-v80-c7120-S1957603206-080.SATISFIABLE.cnf	? (TO)	5000.13	5000.03	3211581
random/large/ unif-k5-r20-v750-c15000-S1787347746-067-UNKNOWN.cnf	? (TO)	5000.13	5000.05	3209881
random/medium/ unif-k5-r21.3-v150-c3195-S1836400953-011.UNKNOWN.cnf	? (TO)	5000.13	4999.94	3211421
random/large/ unif-k5-r20-v1500-c30000-S64154096-097-UNKNOWN.cnf	? (TO)	5000.13	4999.94	3210177
random/large/ unif-k5-r20-v750-c15000-S64285713-004-UNKNOWN.cnf	? (TO)	5000.13	4999.95	3209941
random/medium/ unif-k3-r4.26-v600-c2556-S1734827769-099.UNKNOWN.cnf	? (TO)	5000.13	5000.03	3210417
random/medium/ unif-k7-r89-v80-c7120-S839353433-100.UNKNOWN.cnf	? (TO)	5000.13	5000.03	3210833
random/medium/ unif-k3-r4.26-v600-c2556-S224791863-033.UNKNOWN.cnf	? (TO)	5000.14	5000.03	3211165
random/medium/ unif-k5-r21.3-v150-c3195-S259896945-079.SATISFIABLE.cnf	? (TO)	5000.14	5000.05	3210853
random/medium/ unif-k5-r21.3-v175-c3727-S185833400-026.SATISFIABLE.cnf	? (TO)	5000.14	4999.95	3211365
random/large/ unif-k7-r85-v250-c21250-S1274193329-021-UNKNOWN.cnf	? (TO)	5000.14	5000.03	3210073
random/medium/ unif-k3-r4.26-v750-c3195-S1985868475-070.SATISFIABLE.cnf	? (TO)	5000.14	5000.04	3210381
random/large/ unif-k5-r20-v1250-c25000-S573815729-001-UNKNOWN.cnf	? (TO)	5000.15	5000.04	3209653

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

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

Category "random instances" (RANDOM)

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

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

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