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.12598	0.126556	3420789
random/medium/ unif-k5-r21.3-v50-c1065-S370067727-038.UNKNOWN.cnf	UNSAT	0.132979	0.134046	3420798
random/medium/ unif-k5-r21.3-v50-c1065-S1139883571-082.UNKNOWN.cnf	UNSAT	0.135979	0.136021	3420799
random/medium/ unif-k3-r4.26-v250-c1065-S1822479556-014.UNKNOWN.cnf	UNSAT	0.135979	0.137121	3420776
random/medium/ unif-k5-r21.3-v50-c1065-S505037856-056.UNKNOWN.cnf	UNSAT	0.142977	0.142704	3420810
random/medium/ unif-k5-r21.3-v50-c1065-S1007919187-045.UNKNOWN.cnf	UNSAT	0.144977	0.144687	3420786
random/medium/ unif-k5-r21.3-v50-c1065-S433637520-048.UNKNOWN.cnf	UNSAT	0.147976	0.148197	3420479
random/medium/ unif-k5-r21.3-v50-c1065-S1990278523-047.UNKNOWN.cnf	UNSAT	0.147977	0.147797	3420744
random/medium/ unif-k5-r21.3-v50-c1065-S827703138-064.UNKNOWN.cnf	UNSAT	0.150977	0.151487	3420548
random/medium/ unif-k5-r21.3-v50-c1065-S1491756361-004.UNKNOWN.cnf	UNSAT	0.161974	0.162402	3420614
random/medium/ unif-k5-r21.3-v50-c1065-S1054153452-040.UNKNOWN.cnf	UNSAT	0.164974	0.165308	3420795
random/medium/ unif-k3-r4.26-v250-c1065-S931339469-052.UNKNOWN.cnf	UNSAT	0.201969	0.20231	3420472
random/medium/ unif-k3-r4.26-v250-c1065-S1397126856-076.UNKNOWN.cnf	UNSAT	0.243962	0.244895	3420760
random/medium/ unif-k3-r4.26-v250-c1065-S266251785-083.UNKNOWN.cnf	UNSAT	0.243962	0.243825	3420765
random/medium/ unif-k3-r4.26-v250-c1065-S534787376-095.UNKNOWN.cnf	UNSAT	0.253961	0.253904	3420589
random/medium/ unif-k3-r4.26-v250-c1065-S984689729-080.UNKNOWN.cnf	UNSAT	0.254961	0.254953	3420590
random/medium/ unif-k3-r4.26-v250-c1065-S860541986-078.UNKNOWN.cnf	UNSAT	0.255961	0.256129	3420521
random/medium/ unif-k3-r4.26-v250-c1065-S671776549-007.UNKNOWN.cnf	UNSAT	0.264959	0.265426	3420753
random/medium/ unif-k3-r4.26-v250-c1065-S1295196126-061.UNKNOWN.cnf	UNSAT	0.443931	0.445087	3420581
random/medium/ unif-k3-r4.26-v250-c1065-S427778075-026.UNKNOWN.cnf	UNSAT	0.493924	0.493627	3420702
random/medium/ unif-k3-r4.26-v300-c1278-S566093033-041.UNKNOWN.cnf	UNSAT	0.559914	0.559987	3420734
random/medium/ unif-k3-r4.26-v300-c1278-S1452052526-056.UNKNOWN.cnf	UNSAT	0.677896	0.678095	3420515
random/medium/ unif-k3-r4.26-v300-c1278-S768688898-014.UNKNOWN.cnf	UNSAT	0.806876	0.806933	3420468
random/medium/ unif-k3-r4.26-v300-c1278-S862932513-073.UNKNOWN.cnf	UNSAT	0.813876	0.814107	3420619
random/medium/ unif-k3-r4.26-v300-c1278-S1469984978-038.UNKNOWN.cnf	UNSAT	1.12883	1.1378	3420579
random/medium/ unif-k3-r4.26-v300-c1278-S1569819208-064.UNKNOWN.cnf	UNSAT	1.20481	1.20577	3420495
random/medium/ unif-k3-r4.26-v300-c1278-S1194590195-083.UNKNOWN.cnf	UNSAT	1.27481	1.27554	3420542
random/medium/ unif-k3-r4.26-v300-c1278-S1223020224-097.UNKNOWN.cnf	UNSAT	1.54776	1.54856	3420646
random/medium/ unif-k3-r4.26-v300-c1278-S1990987164-054.UNKNOWN.cnf	UNSAT	1.58876	1.58904	3420506
random/medium/ unif-k3-r4.26-v300-c1278-S1869766438-024.UNKNOWN.cnf	UNSAT	2.38464	2.38598	3420522
random/medium/ unif-k3-r4.26-v350-c1491-S804294807-063.UNKNOWN.cnf	UNSAT	4.32334	4.32338	3420745
random/medium/ unif-k3-r4.26-v350-c1491-S173446080-001.UNKNOWN.cnf	UNSAT	5.01224	5.01313	3420645
random/medium/ unif-k3-r4.26-v350-c1491-S1090604743-089.UNKNOWN.cnf	UNSAT	5.19921	5.20041	3420821
random/medium/ unif-k5-r21.3-v75-c1597-S1227489160-001.UNKNOWN.cnf	UNSAT	6.08107	6.08156	3420510
random/medium/ unif-k5-r21.3-v75-c1597-S295912653-089.UNKNOWN.cnf	UNSAT	6.41902	6.41914	3420529
random/medium/ unif-k5-r21.3-v75-c1597-S602837755-005.UNKNOWN.cnf	UNSAT	6.42002	6.42011	3420502
random/medium/ unif-k3-r4.26-v350-c1491-S1404138730-025.UNKNOWN.cnf	UNSAT	6.548	6.55305	3420705
random/medium/ unif-k5-r21.3-v75-c1597-S1825761395-059.UNKNOWN.cnf	UNSAT	6.88795	6.88869	3420829
random/medium/ unif-k5-r21.3-v75-c1597-S1431779634-058.UNKNOWN.cnf	UNSAT	6.92894	6.92866	3420836
random/medium/ unif-k5-r21.3-v75-c1597-S1750722942-074.UNKNOWN.cnf	UNSAT	6.99194	6.99291	3420813
random/medium/ unif-k5-r21.3-v75-c1597-S60874767-043.UNKNOWN.cnf	UNSAT	7.2309	7.23121	3420593
random/medium/ unif-k3-r4.26-v350-c1491-S1733949620-064.UNKNOWN.cnf	UNSAT	7.26989	7.26998	3420689
random/medium/ unif-k3-r4.26-v350-c1491-S761041117-050.UNKNOWN.cnf	UNSAT	7.31089	7.31119	3420844
random/medium/ unif-k5-r21.3-v75-c1597-S428924146-076.UNKNOWN.cnf	UNSAT	7.40687	7.40782	3420654
random/medium/ unif-k3-r4.26-v350-c1491-S1705279286-077.UNKNOWN.cnf	UNSAT	7.58585	7.58548	3420695
random/medium/ unif-k5-r21.3-v75-c1597-S1713710439-035.UNKNOWN.cnf	UNSAT	7.9028	7.90331	3420577
random/medium/ unif-k5-r21.3-v75-c1597-S1508981094-051.UNKNOWN.cnf	UNSAT	8.50571	8.50548	3420630
random/medium/ unif-k3-r4.26-v350-c1491-S659703274-054.UNKNOWN.cnf	UNSAT	9.23459	9.23404	3420671
random/medium/ unif-k3-r4.26-v350-c1491-S648064606-012.UNKNOWN.cnf	UNSAT	10.2464	10.2472	3420523
random/medium/ unif-k3-r4.26-v350-c1491-S797651048-056.UNKNOWN.cnf	UNSAT	10.8693	10.8699	3420672
random/medium/ unif-k3-r4.26-v400-c1704-S785747282-100.UNKNOWN.cnf	UNSAT	22.3846	22.3849	3420452
random/medium/ unif-k3-r4.26-v400-c1704-S496650424-021.UNKNOWN.cnf	UNSAT	23.9014	23.9009	3420775
random/medium/ unif-k3-r4.26-v400-c1704-S1536900137-053.UNKNOWN.cnf	UNSAT	25.6701	25.6696	3420543
random/medium/ unif-k3-r4.26-v400-c1704-S895193371-061.UNKNOWN.cnf	UNSAT	27.2119	27.2249	3420658
random/medium/ unif-k3-r4.26-v400-c1704-S1409021001-079.UNKNOWN.cnf	UNSAT	30.4254	30.429	3420691
random/medium/ unif-k3-r4.26-v400-c1704-S1635333981-027.UNKNOWN.cnf	UNSAT	31.2303	31.2303	3420638
random/medium/ unif-k7-r89-v50-c4450-S324945930-048.UNKNOWN.cnf	UNSAT	32.602	32.602	3420777
random/medium/ unif-k7-r89-v50-c4450-S1034575833-022.UNKNOWN.cnf	UNSAT	32.607	32.6071	3420615
random/medium/ unif-k7-r89-v50-c4450-S1082084494-034.UNKNOWN.cnf	UNSAT	32.615	32.6197	3420597
random/medium/ unif-k7-r89-v50-c4450-S321945897-005.UNKNOWN.cnf	UNSAT	33.2689	33.2686	3420697
random/medium/ unif-k7-r89-v50-c4450-S2039518547-066.UNKNOWN.cnf	UNSAT	33.4729	33.4729	3420640
random/medium/ unif-k7-r89-v50-c4450-S1374457799-001.UNKNOWN.cnf	UNSAT	33.5309	33.5313	3420665
random/medium/ unif-k7-r89-v50-c4450-S708803296-021.UNKNOWN.cnf	UNSAT	33.5479	33.6559	3420841
random/medium/ unif-k7-r89-v50-c4450-S1880985555-004.UNKNOWN.cnf	UNSAT	34.3538	34.3525	3420796
random/medium/ unif-k7-r89-v50-c4450-S1273410420-036.UNKNOWN.cnf	UNSAT	34.9477	34.9512	3420594
random/medium/ unif-k7-r89-v50-c4450-S1027567260-047.UNKNOWN.cnf	UNSAT	36.1015	36.1028	3420474
random/medium/ unif-k3-r4.26-v400-c1704-S549184435-037.UNKNOWN.cnf	UNSAT	37.1314	37.1308	3420680
random/medium/ unif-k3-r4.26-v400-c1704-S690749326-001.UNKNOWN.cnf	UNSAT	37.5873	37.593	3420741
random/medium/ unif-k3-r4.26-v400-c1704-S1081907273-083.UNKNOWN.cnf	UNSAT	38.9001	38.9011	3420504
random/medium/ unif-k3-r4.26-v400-c1704-S1511266249-002.UNKNOWN.cnf	UNSAT	46.9699	46.9692	3420772
random/medium/ unif-k3-r4.26-v450-c1917-S794554332-033.UNKNOWN.cnf	UNSAT	111.609	111.607	3420644
random/medium/ unif-k3-r4.26-v450-c1917-S1910317962-059.UNKNOWN.cnf	UNSAT	129.859	129.857	3420591
random/medium/ unif-k3-r4.26-v450-c1917-S1573194644-097.UNKNOWN.cnf	UNSAT	136.041	136.175	3420710
random/medium/ unif-k3-r4.26-v450-c1917-S1959079526-027.UNKNOWN.cnf	UNSAT	142.579	142.576	3420839
random/medium/ unif-k3-r4.26-v450-c1917-S116041094-082.UNKNOWN.cnf	UNSAT	145.128	145.125	3420808
random/medium/ unif-k3-r4.26-v450-c1917-S1008065350-031.UNKNOWN.cnf	UNSAT	152.069	152.066	3420505
random/medium/ unif-k3-r4.26-v450-c1917-S1406921020-013.UNKNOWN.cnf	UNSAT	153.377	153.373	3420631
random/medium/ unif-k3-r4.26-v450-c1917-S16302531-099.UNKNOWN.cnf	UNSAT	154.979	154.975	3420778
random/medium/ unif-k3-r4.26-v450-c1917-S367251957-028.UNKNOWN.cnf	UNSAT	207.124	207.119	3420473
random/medium/ unif-k5-r21.3-v100-c2130-S2051088205-036.UNKNOWN.cnf	UNSAT	299.271	299.281	3420600
random/medium/ unif-k3-r4.26-v450-c1917-S1879031150-062.UNKNOWN.cnf	UNSAT	300.017	300.028	3420764
random/medium/ unif-k5-r21.3-v100-c2130-S815408325-054.UNKNOWN.cnf	UNSAT	313.313	313.31	3420820
random/medium/ unif-k5-r21.3-v100-c2130-S1760258375-046.UNKNOWN.cnf	UNSAT	320.093	320.084	3420541
random/medium/ unif-k5-r21.3-v100-c2130-S1465579926-097.UNKNOWN.cnf	UNSAT	321.466	321.727	3420598
random/medium/ unif-k5-r21.3-v100-c2130-S206772908-015.UNKNOWN.cnf	UNSAT	328.159	328.149	3420608
random/medium/ unif-k5-r21.3-v100-c2130-S1059781282-048.UNKNOWN.cnf	UNSAT	344.772	344.768	3420582
random/medium/ unif-k5-r21.3-v100-c2130-S2098066936-001.UNKNOWN.cnf	UNSAT	347.316	347.309	3420517
random/medium/ unif-k5-r21.3-v100-c2130-S1741857700-014.UNKNOWN.cnf	UNSAT	348.401	348.396	3420804
random/medium/ unif-k7-r89-v60-c5340-S1675230100-032.UNKNOWN.cnf	UNSAT	352.104	352.098	3420838
random/medium/ unif-k5-r21.3-v100-c2130-S360859187-040.UNKNOWN.cnf	UNSAT	358.158	358.149	3420649
random/medium/ unif-k7-r89-v60-c5340-S1831136826-075.UNKNOWN.cnf	UNSAT	364.948	364.939	3420800
random/medium/ unif-k7-r89-v60-c5340-S384085843-009.UNKNOWN.cnf	UNSAT	368.614	368.605	3420637
random/medium/ unif-k7-r89-v60-c5340-S614849838-039.UNKNOWN.cnf	UNSAT	368.71	368.706	3420588
random/medium/ unif-k7-r89-v60-c5340-S1445862528-059.UNKNOWN.cnf	UNSAT	369.359	369.378	3420666
random/medium/ unif-k7-r89-v60-c5340-S1556216475-025.UNKNOWN.cnf	UNSAT	369.941	369.941	3420595
random/medium/ unif-k7-r89-v60-c5340-S1720200795-004.UNKNOWN.cnf	UNSAT	371.017	371.027	3420639
random/medium/ unif-k7-r89-v60-c5340-S113771637-026.UNKNOWN.cnf	UNSAT	371.347	371.341	3420781
random/medium/ unif-k7-r89-v60-c5340-S2117313371-002.UNKNOWN.cnf	UNSAT	374.987	374.986	3420837
random/medium/ unif-k7-r89-v60-c5340-S642174893-006.UNKNOWN.cnf	UNSAT	382.245	382.287	3420586
random/medium/ unif-k5-r21.3-v100-c2130-S1336161514-068.UNKNOWN.cnf	UNSAT	390.66	390.652	3420662
random/medium/ unif-k3-r4.26-v500-c2130-S247862791-097.UNKNOWN.cnf	UNSAT	444.867	444.853	3420749
random/medium/ unif-k3-r4.26-v500-c2130-S1094982880-055.UNKNOWN.cnf	UNSAT	626.623	626.613	3420478
random/medium/ unif-k3-r4.26-v500-c2130-S1205196501-095.UNKNOWN.cnf	UNSAT	762.965	763.126	3420717
random/medium/ unif-k3-r4.26-v500-c2130-S1085677759-100.UNKNOWN.cnf	UNSAT	823.532	823.508	3420561
random/medium/ unif-k3-r4.26-v500-c2130-S670753028-051.UNKNOWN.cnf	UNSAT	917.804	917.763	3420823
random/medium/ unif-k3-r4.26-v500-c2130-S1514125851-037.UNKNOWN.cnf	UNSAT	954.825	954.812	3420494
random/medium/ unif-k3-r4.26-v500-c2130-S2061684506-048.UNKNOWN.cnf	UNSAT	1184.07	1184.01	3420782
random/medium/ unif-k3-r4.26-v500-c2130-S769368248-036.UNKNOWN.cnf	UNSAT	1227.32	1227.58	3420648
random/medium/ unif-k3-r4.26-v500-c2130-S1762880211-075.UNKNOWN.cnf	UNSAT	1657.58	1657.54	3420458
random/medium/ unif-k3-r4.26-v500-c2130-S1383368897-031.UNKNOWN.cnf	UNSAT	1709.82	1709.77	3420538
random/medium/ unif-k3-r4.26-v550-c2343-S1694067460-072.UNKNOWN.cnf	UNSAT	1917.7	1917.64	3420562
random/medium/ unif-k3-r4.26-v550-c2343-S912111154-025.UNKNOWN.cnf	UNSAT	2260.91	2260.84	3420773
random/medium/ unif-k3-r4.26-v550-c2343-S1693168158-005.UNKNOWN.cnf	UNSAT	2349.78	2349.77	3420803
random/medium/ unif-k3-r4.26-v550-c2343-S943066845-088.UNKNOWN.cnf	UNSAT	2695.29	2695.37	3420528
random/medium/ unif-k3-r4.26-v550-c2343-S1163259790-073.UNKNOWN.cnf	UNSAT	2978.05	2977.98	3420518
random/medium/ unif-k3-r4.26-v550-c2343-S1663503036-045.UNKNOWN.cnf	UNSAT	3292.86	3292.78	3420539
random/medium/ unif-k3-r4.26-v550-c2343-S591042619-090.UNKNOWN.cnf	UNSAT	3358.18	3358.16	3420847
random/medium/ unif-k7-r89-v70-c6230-S1516725086-012.UNKNOWN.cnf	UNSAT	4388.47	4388.34	3420470
random/medium/ unif-k7-r89-v70-c6230-S250627100-039.UNKNOWN.cnf	UNSAT	4414.75	4414.62	3420456
random/medium/ unif-k7-r89-v70-c6230-S1805176884-064.UNKNOWN.cnf	UNSAT	4436.53	4436.4	3420485
random/medium/ unif-k7-r89-v70-c6230-S1780733482-097.UNKNOWN.cnf	UNSAT	4616.98	4616.87	3420533
random/medium/ unif-k7-r89-v70-c6230-S1475900283-041.UNKNOWN.cnf	UNSAT	4823.67	4823.52	3420565
random/medium/ unif-k7-r89-v70-c6230-S1254276596-021.UNKNOWN.cnf	UNSAT	4823.96	4823.85	3420488

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
random/medium/ unif-k3-r4.26-v400-c1704-S1440346932-010.SATISFIABLE.cnf	SAT	0.013997	0.0158059	3420790
random/medium/ unif-k3-r4.26-v350-c1491-S1077220429-098.SATISFIABLE.cnf	SAT	0.014997	0.0200749	3420660
random/medium/ unif-k3-r4.26-v450-c1917-S1097024859-001.SATISFIABLE.cnf	SAT	0.025996	0.0262189	3420751
random/medium/ unif-k3-r4.26-v350-c1491-S773607012-011.SATISFIABLE.cnf	SAT	0.039993	0.040022	3420721
random/medium/ unif-k3-r4.26-v400-c1704-S1462223811-042.SATISFIABLE.cnf	SAT	0.081986	0.0820359	3420607
random/medium/ unif-k5-r21.3-v75-c1597-S445191369-092.SATISFIABLE.cnf	SAT	0.109982	0.109716	3420747
random/medium/ unif-k5-r21.3-v75-c1597-S1366648725-024.SATISFIABLE.cnf	SAT	0.110982	0.111451	3420490
random/medium/ unif-k5-r21.3-v75-c1597-S1129651135-081.SATISFIABLE.cnf	SAT	0.12098	0.121048	3420722
random/medium/ unif-k5-r21.3-v75-c1597-S25975519-056.SATISFIABLE.cnf	SAT	0.139977	0.141363	3420530
random/medium/ unif-k3-r4.26-v350-c1491-S146789605-022.SATISFIABLE.cnf	SAT	0.184971	0.185887	3420575
random/medium/ unif-k3-r4.26-v350-c1491-S87195105-042.SATISFIABLE.cnf	SAT	0.189971	0.190444	3420817
random/medium/ unif-k3-r4.26-v350-c1491-S1794283924-053.SATISFIABLE.cnf	SAT	0.224965	0.225764	3420676
random/medium/ unif-k3-r4.26-v400-c1704-S913455068-085.SATISFIABLE.cnf	SAT	0.239963	0.240578	3420828
random/medium/ unif-k5-r21.3-v75-c1597-S241605246-015.SATISFIABLE.cnf	SAT	0.25696	0.257479	3420690
random/medium/ unif-k3-r4.26-v350-c1491-S1914191877-004.SATISFIABLE.cnf	SAT	0.339947	0.339874	3420621
random/medium/ unif-k3-r4.26-v350-c1491-S1946851065-023.SATISFIABLE.cnf	SAT	0.467928	0.467472	3420481
random/medium/ unif-k7-r89-v50-c4450-S1496316430-079.SATISFIABLE.cnf	SAT	0.522919	0.523674	3420827
random/medium/ unif-k3-r4.26-v500-c2130-S9113894-047.SATISFIABLE.cnf	SAT	0.738887	0.739499	3420759
random/medium/ unif-k3-r4.26-v350-c1491-S946474812-075.SATISFIABLE.cnf	SAT	0.772882	0.777545	3420667
random/medium/ unif-k3-r4.26-v400-c1704-S1023920765-089.SATISFIABLE.cnf	SAT	0.870867	0.871642	3420767
random/medium/ unif-k5-r21.3-v75-c1597-S2038462183-033.SATISFIABLE.cnf	SAT	0.91086	0.910919	3420587
random/medium/ unif-k7-r89-v50-c4450-S422404201-035.SATISFIABLE.cnf	SAT	1.19782	1.19857	3420784
random/medium/ unif-k5-r21.3-v100-c2130-S1880411078-058.SATISFIABLE.cnf	SAT	1.58976	1.58982	3420563
random/medium/ unif-k3-r4.26-v350-c1491-S1060672754-058.SATISFIABLE.cnf	SAT	2.03969	2.04072	3420698
random/medium/ unif-k3-r4.26-v600-c2556-S735137557-045.SATISFIABLE.cnf	SAT	2.05669	2.05713	3420743
random/medium/ unif-k3-r4.26-v400-c1704-S823305148-084.SATISFIABLE.cnf	SAT	2.17667	2.18089	3420471
random/medium/ unif-k5-r21.3-v75-c1597-S906725726-060.SATISFIABLE.cnf	SAT	2.33764	2.33902	3420732
random/medium/ unif-k3-r4.26-v400-c1704-S183128297-005.SATISFIABLE.cnf	SAT	2.41863	2.41988	3420706
random/medium/ unif-k3-r4.26-v400-c1704-S1960786523-069.SATISFIABLE.cnf	SAT	2.53961	2.54138	3420599
random/medium/ unif-k5-r21.3-v75-c1597-S1009664450-096.SATISFIABLE.cnf	SAT	2.58061	2.58117	3420748
random/medium/ unif-k5-r21.3-v75-c1597-S1636883934-028.SATISFIABLE.cnf	SAT	2.66159	2.66193	3420674
random/medium/ unif-k5-r21.3-v100-c2130-S328068950-002.SATISFIABLE.cnf	SAT	3.13052	3.13094	3420635
random/medium/ unif-k7-r89-v50-c4450-S1786071619-083.SATISFIABLE.cnf	SAT	3.58545	3.58621	3420629
random/medium/ unif-k3-r4.26-v500-c2130-S31329941-054.SATISFIABLE.cnf	SAT	3.90441	3.90562	3420544
random/medium/ unif-k3-r4.26-v350-c1491-S1507171828-044.SATISFIABLE.cnf	SAT	4.99224	4.99239	3420679
random/medium/ unif-k5-r21.3-v75-c1597-S1214523131-078.SATISFIABLE.cnf	SAT	5.55915	5.55997	3420783
random/medium/ unif-k3-r4.26-v450-c1917-S1915396418-078.SATISFIABLE.cnf	SAT	5.9481	5.9478	3420568
random/medium/ unif-k3-r4.26-v400-c1704-S930506247-025.SATISFIABLE.cnf	SAT	6.45402	6.45685	3420520
random/medium/ unif-k5-r21.3-v100-c2130-S1574817612-041.SATISFIABLE.cnf	SAT	6.97194	6.97673	3420531
random/medium/ unif-k7-r89-v50-c4450-S1430772875-039.SATISFIABLE.cnf	SAT	7.33088	7.32999	3420503
random/medium/ unif-k3-r4.26-v500-c2130-S1263625223-038.SATISFIABLE.cnf	SAT	8.83866	8.83914	3420461
random/medium/ unif-k3-r4.26-v450-c1917-S222128792-011.SATISFIABLE.cnf	SAT	9.25659	9.26039	3420711
random/medium/ unif-k7-r89-v50-c4450-S1087312438-073.SATISFIABLE.cnf	SAT	9.56454	9.56544	3420570
random/medium/ unif-k7-r89-v50-c4450-S1788358104-029.SATISFIABLE.cnf	SAT	11.0173	11.0177	3420763
random/medium/ unif-k7-r89-v50-c4450-S879384975-017.SATISFIABLE.cnf	SAT	11.1793	11.1835	3420574
random/medium/ unif-k5-r21.3-v100-c2130-S1926673460-089.SATISFIABLE.cnf	SAT	11.3193	11.3203	3420549
random/medium/ unif-k3-r4.26-v400-c1704-S1864619158-076.SATISFIABLE.cnf	SAT	12.5161	12.5216	3420475
random/medium/ unif-k7-r89-v50-c4450-S768928417-025.SATISFIABLE.cnf	SAT	13.187	13.1874	3420536
random/medium/ unif-k7-r89-v60-c5340-S1583005701-053.SATISFIABLE.cnf	SAT	14.0669	14.0667	3420693
random/medium/ unif-k3-r4.26-v500-c2130-S1280860344-022.SATISFIABLE.cnf	SAT	14.2888	14.2908	3420814
random/medium/ unif-k7-r89-v50-c4450-S864690872-081.SATISFIABLE.cnf	SAT	16.3005	16.3013	3420650
random/medium/ unif-k3-r4.26-v450-c1917-S380157195-014.SATISFIABLE.cnf	SAT	16.6765	16.6776	3420482
random/medium/ unif-k7-r89-v50-c4450-S675112162-053.SATISFIABLE.cnf	SAT	17.6763	17.6759	3420681
random/medium/ unif-k5-r21.3-v100-c2130-S1980330668-030.SATISFIABLE.cnf	SAT	19.465	19.4653	3420833
random/medium/ unif-k3-r4.26-v500-c2130-S840902310-084.SATISFIABLE.cnf	SAT	22.1946	22.1978	3420797
random/medium/ unif-k3-r4.26-v450-c1917-S1617626827-069.SATISFIABLE.cnf	SAT	23.3724	23.3767	3420720
random/medium/ unif-k3-r4.26-v450-c1917-S2088689288-085.SATISFIABLE.cnf	SAT	28.3427	28.3597	3420818
random/medium/ unif-k3-r4.26-v450-c1917-S2065964480-034.SATISFIABLE.cnf	SAT	33.9808	33.9839	3420556
random/medium/ unif-k7-r89-v60-c5340-S969033069-088.SATISFIABLE.cnf	SAT	34.4898	34.4913	3420832
random/medium/ unif-k3-r4.26-v550-c2343-S1610857498-043.SATISFIABLE.cnf	SAT	35.9155	35.9148	3420774
random/medium/ unif-k3-r4.26-v550-c2343-S107514131-038.SATISFIABLE.cnf	SAT	37.6063	37.6405	3420831
random/medium/ unif-k7-r89-v60-c5340-S385597856-055.SATISFIABLE.cnf	SAT	40.7308	40.7308	3420750
random/medium/ unif-k5-r21.3-v100-c2130-S196779284-038.SATISFIABLE.cnf	SAT	42.5025	42.5033	3420785
random/medium/ unif-k5-r21.3-v100-c2130-S707565158-096.SATISFIABLE.cnf	SAT	45.858	45.8577	3420537
random/medium/ unif-k3-r4.26-v400-c1704-S1050579435-065.SATISFIABLE.cnf	SAT	47.4638	47.4639	3420625
random/medium/ unif-k3-r4.26-v550-c2343-S960198064-030.SATISFIABLE.cnf	SAT	56.9583	56.9758	3420628
random/medium/ unif-k3-r4.26-v450-c1917-S2083898043-071.SATISFIABLE.cnf	SAT	66.2459	66.2862	3420716
random/medium/ unif-k7-r89-v60-c5340-S1458986015-022.SATISFIABLE.cnf	SAT	67.0828	67.0817	3420611
random/medium/ unif-k3-r4.26-v550-c2343-S927210717-059.SATISFIABLE.cnf	SAT	72.361	72.359	3420724
random/medium/ unif-k3-r4.26-v550-c2343-S1940049314-069.SATISFIABLE.cnf	SAT	76.7303	76.7291	3420805
random/medium/ unif-k7-r89-v60-c5340-S1510638717-051.SATISFIABLE.cnf	SAT	92.316	92.32	3420687
random/medium/ unif-k3-r4.26-v800-c3408-S91768321-029.SATISFIABLE.cnf	SAT	92.6529	92.6509	3420849
random/medium/ unif-k3-r4.26-v700-c2982-S1617172756-030.SATISFIABLE.cnf	SAT	93.7288	93.7499	3420758
random/medium/ unif-k5-r21.3-v100-c2130-S20037494-023.SATISFIABLE.cnf	SAT	99.2529	99.2505	3420496
random/medium/ unif-k3-r4.26-v500-c2130-S1563258922-027.SATISFIABLE.cnf	SAT	101.948	101.946	3420677
random/medium/ unif-k3-r4.26-v600-c2556-S1383380994-043.SATISFIABLE.cnf	SAT	104.626	104.623	3420788
random/medium/ unif-k7-r89-v60-c5340-S239039906-021.SATISFIABLE.cnf	SAT	107.878	107.877	3420512
random/medium/ unif-k7-r89-v60-c5340-S630613738-050.SATISFIABLE.cnf	SAT	117.363	117.359	3420733
random/medium/ unif-k3-r4.26-v500-c2130-S204737200-067.SATISFIABLE.cnf	SAT	120.727	120.728	3420825
random/medium/ unif-k3-r4.26-v450-c1917-S386464511-018.SATISFIABLE.cnf	SAT	129.84	129.836	3420683
random/medium/ unif-k3-r4.26-v450-c1917-S528475885-007.SATISFIABLE.cnf	SAT	133.062	133.081	3420627
random/medium/ unif-k7-r89-v60-c5340-S1982873755-080.SATISFIABLE.cnf	SAT	142.51	142.506	3420700
random/medium/ unif-k7-r89-v70-c6230-S1321356000-046.SATISFIABLE.cnf	SAT	164.222	164.217	3420669
random/medium/ unif-k7-r89-v60-c5340-S1141565617-016.SATISFIABLE.cnf	SAT	166.926	166.923	3420476
random/medium/ unif-k3-r4.26-v600-c2556-S252359291-002.SATISFIABLE.cnf	SAT	181.109	181.11	3420664
random/medium/ unif-k7-r89-v60-c5340-S388186442-035.SATISFIABLE.cnf	SAT	196.107	196.105	3420735
random/medium/ unif-k5-r21.3-v100-c2130-S1189700536-035.SATISFIABLE.cnf	SAT	196.403	196.415	3420507
random/medium/ unif-k5-r21.3-v125-c2662-S1396350646-062.SATISFIABLE.cnf	SAT	204.342	204.339	3420729
random/medium/ unif-k3-r4.26-v500-c2130-S831119356-083.SATISFIABLE.cnf	SAT	258.866	258.854	3420766
random/medium/ unif-k3-r4.26-v550-c2343-S874954918-011.SATISFIABLE.cnf	SAT	267.691	267.683	3420553
random/medium/ unif-k5-r21.3-v125-c2662-S436871389-051.SATISFIABLE.cnf	SAT	298.96	298.955	3420511
random/medium/ unif-k5-r21.3-v100-c2130-S332580795-055.SATISFIABLE.cnf	SAT	358.454	358.447	3420840
random/medium/ unif-k7-r89-v70-c6230-S1018943457-089.SATISFIABLE.cnf	SAT	379.164	379.166	3420647
random/medium/ unif-k5-r21.3-v125-c2662-S464722883-083.SATISFIABLE.cnf	SAT	424.78	424.785	3420712
random/medium/ unif-k5-r21.3-v125-c2662-S1300400916-048.SATISFIABLE.cnf	SAT	433.095	433.109	3420713
random/medium/ unif-k7-r89-v70-c6230-S1846644927-079.SATISFIABLE.cnf	SAT	470.706	470.701	3420453
random/medium/ unif-k3-r4.26-v600-c2556-S373048162-052.SATISFIABLE.cnf	SAT	494.625	494.615	3420534
random/medium/ unif-k3-r4.26-v650-c2769-S1894319588-015.SATISFIABLE.cnf	SAT	564.032	564.081	3420557
random/medium/ unif-k3-r4.26-v700-c2982-S171669125-021.SATISFIABLE.cnf	SAT	571.168	571.179	3420651
random/medium/ unif-k3-r4.26-v600-c2556-S727005963-093.SATISFIABLE.cnf	SAT	585.061	585.041	3420686
random/medium/ unif-k3-r4.26-v500-c2130-S481747904-003.SATISFIABLE.cnf	SAT	615.196	615.183	3420550
random/medium/ unif-k7-r89-v70-c6230-S1335110382-066.SATISFIABLE.cnf	SAT	760.311	760.289	3420636
random/medium/ unif-k3-r4.26-v800-c3408-S1536861174-069.SATISFIABLE.cnf	SAT	802.149	802.13	3420692
random/medium/ unif-k3-r4.26-v500-c2130-S261841674-082.SATISFIABLE.cnf	SAT	841.395	841.364	3420655
random/medium/ unif-k5-r21.3-v125-c2662-S675870149-098.SATISFIABLE.cnf	SAT	912.104	912.122	3420641
random/medium/ unif-k3-r4.26-v550-c2343-S1552308135-080.SATISFIABLE.cnf	SAT	942.324	942.295	3420684
random/medium/ unif-k3-r4.26-v550-c2343-S311101868-094.SATISFIABLE.cnf	SAT	1244.2	1244.28	3420742
random/medium/ unif-k7-r89-v80-c7120-S1623694027-006.SATISFIABLE.cnf	SAT	1254.26	1254.23	3420498
random/medium/ unif-k3-r4.26-v650-c2769-S525571208-063.SATISFIABLE.cnf	SAT	1292.47	1292.51	3420499
random/medium/ unif-k3-r4.26-v800-c3408-S890760919-021.SATISFIABLE.cnf	SAT	1299.57	1299.53	3420719
random/medium/ unif-k5-r21.3-v125-c2662-S34055288-072.SATISFIABLE.cnf	SAT	1324.65	1324.63	3420617
random/medium/ unif-k3-r4.26-v550-c2343-S2058622508-076.SATISFIABLE.cnf	SAT	1328.68	1328.65	3420624
random/medium/ unif-k3-r4.26-v700-c2982-S1744841484-003.SATISFIABLE.cnf	SAT	1398.98	1399.02	3420826
random/medium/ unif-k3-r4.26-v650-c2769-S30721646-064.SATISFIABLE.cnf	SAT	1511.86	1511.82	3420718
random/medium/ unif-k7-r89-v70-c6230-S1555786344-071.SATISFIABLE.cnf	SAT	1541.86	1541.83	3420457
random/medium/ unif-k3-r4.26-v650-c2769-S4140122-004.SATISFIABLE.cnf	SAT	1578.96	1578.96	3420756
random/medium/ unif-k3-r4.26-v700-c2982-S900569154-026.SATISFIABLE.cnf	SAT	1637.8	1637.75	3420491
random/medium/ unif-k3-r4.26-v600-c2556-S2019147653-030.SATISFIABLE.cnf	SAT	1684.78	1684.75	3420580
random/medium/ unif-k3-r4.26-v650-c2769-S1920526651-049.SATISFIABLE.cnf	SAT	1790.48	1790.44	3420601
random/medium/ unif-k7-r89-v70-c6230-S1351138814-007.SATISFIABLE.cnf	SAT	2129.29	2129.24	3420596
random/medium/ unif-k7-r89-v70-c6230-S314780693-050.SATISFIABLE.cnf	SAT	3045.55	3045.46	3420779
random/medium/ unif-k3-r4.26-v650-c2769-S466707249-079.SATISFIABLE.cnf	SAT	3076.04	3075.97	3420793
random/medium/ unif-k7-r89-v70-c6230-S2045410966-069.SATISFIABLE.cnf	SAT	3097.01	3096.95	3420715
random/medium/ unif-k7-r89-v70-c6230-S944754256-018.SATISFIABLE.cnf	SAT	3289.68	3289.61	3420454
random/medium/ unif-k5-r21.3-v125-c2662-S218235649-089.SATISFIABLE.cnf	SAT	3646.64	3646.56	3420806
random/medium/ unif-k3-r4.26-v600-c2556-S1468528501-076.SATISFIABLE.cnf	SAT	4029.45	4029.38	3420558
random/medium/ unif-k7-r89-v70-c6230-S2143190124-085.SATISFIABLE.cnf	SAT	4443.83	4443.73	3420552
random/medium/ unif-k3-r4.26-v600-c2556-S2050053883-062.SATISFIABLE.cnf	SAT	4953.09	4952.95	3420727

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
random/large/ unif-k3-r4.2-v25000-c105000-S269939581-066-UNKNOWN.cnf	? (TO)	5000.03	5000.02	3420404
random/large/ unif-k3-r4.2-v35000-c147000-S970100151-015-UNKNOWN.cnf	? (TO)	5000.03	5000.22	3420358
random/large/ unif-k3-r4.2-v15000-c63000-S980027332-029-UNKNOWN.cnf	? (TO)	5000.03	4999.92	3420345
random/large/ unif-k3-r4.2-v15000-c63000-S1868678442-026-UNKNOWN.cnf	? (TO)	5000.04	5000.03	3420259
random/large/ unif-k3-r4.2-v50000-c210000-S537193780-078-UNKNOWN.cnf	? (TO)	5000.04	4999.93	3420284
random/large/ unif-k3-r4.2-v10000-c42000-S1778317451-042-UNKNOWN.cnf	? (TO)	5000.04	4999.93	3420440
random/large/ unif-k3-r4.2-v20000-c84000-S525505471-054-UNKNOWN.cnf	? (TO)	5000.04	4999.92	3420347
random/large/ unif-k3-r4.2-v40000-c168000-S907804052-003-UNKNOWN.cnf	? (TO)	5000.04	4999.92	3420427
random/large/ unif-k3-r4.2-v15000-c63000-S43885340-006-UNKNOWN.cnf	? (TO)	5000.04	4999.92	3420428
random/large/ unif-k3-r4.2-v25000-c105000-S109959541-056-UNKNOWN.cnf	? (TO)	5000.04	4999.92	3420324
random/large/ unif-k7-r85-v150-c12750-S367425675-085-UNKNOWN.cnf	? (TO)	5000.04	4999.94	3420380
random/large/ unif-k3-r4.2-v35000-c147000-S1886449473-022-UNKNOWN.cnf	? (TO)	5000.04	4999.93	3420370
random/large/ unif-k3-r4.2-v30000-c126000-S629207485-001-UNKNOWN.cnf	? (TO)	5000.04	4999.92	3420293
random/large/ unif-k3-r4.2-v10000-c42000-S903594090-011-UNKNOWN.cnf	? (TO)	5000.04	4999.93	3420338
random/large/ unif-k3-r4.2-v30000-c126000-S1854039067-041-UNKNOWN.cnf	? (TO)	5000.04	4999.92	3420295
random/large/ unif-k3-r4.2-v35000-c147000-S950666065-093-UNKNOWN.cnf	? (TO)	5000.04	5000.02	3420320
random/large/ unif-k3-r4.2-v10000-c42000-S1091905403-047-UNKNOWN.cnf	? (TO)	5000.04	4999.93	3420424
random/large/ unif-k3-r4.2-v30000-c126000-S913491256-073-UNKNOWN.cnf	? (TO)	5000.04	4999.92	3420306
random/large/ unif-k3-r4.2-v15000-c63000-S1386494586-003-UNKNOWN.cnf	? (TO)	5000.04	4999.92	3420362
random/large/ unif-k3-r4.2-v20000-c84000-S840292785-048-UNKNOWN.cnf	? (TO)	5000.04	4999.92	3420396
random/large/ unif-k5-r20-v1500-c30000-S976428817-077-UNKNOWN.cnf	? (TO)	5000.05	4999.95	3420264
random/medium/ unif-k7-r89-v90-c8010-S224440242-006.SATISFIABLE.cnf	? (TO)	5000.05	4999.94	3420819
random/medium/ unif-k7-r89-v90-c8010-S661190852-039.SATISFIABLE.cnf	? (TO)	5000.05	5000.04	3420483
random/medium/ unif-k7-r89-v80-c7120-S1901567697-013.UNKNOWN.cnf	? (TO)	5000.05	5000.04	3420480
random/large/ unif-k3-r4.2-v35000-c147000-S648642831-094-UNKNOWN.cnf	? (TO)	5000.05	4999.92	3420357
random/medium/ unif-k7-r89-v90-c8010-S1897189325-062.UNKNOWN.cnf	? (TO)	5000.05	4999.94	3420802
random/large/ unif-k5-r20-v2000-c40000-S971556279-001-UNKNOWN.cnf	? (TO)	5000.05	4999.94	3420384
random/medium/ unif-k7-r89-v80-c7120-S1957603206-080.SATISFIABLE.cnf	? (TO)	5000.05	4999.94	3420792
random/large/ unif-k3-r4.2-v5000-c21000-S72547786-008-UNKNOWN.cnf	? (TO)	5000.05	4999.93	3420339
random/medium/ unif-k3-r4.26-v550-c2343-S1114532273-035.SATISFIABLE.cnf	? (TO)	5000.05	4999.94	3420668
random/large/ unif-k5-r20-v2000-c40000-S1264065752-051-UNKNOWN.cnf	? (TO)	5000.05	4999.93	3420378
random/large/ unif-k3-r4.2-v50000-c210000-S1969540674-065-UNKNOWN.cnf	? (TO)	5000.05	4999.92	3420269
random/large/ unif-k7-r85-v400-c34000-S1275797759-041-UNKNOWN.cnf	? (TO)	5000.05	4999.93	3420377
random/medium/ unif-k5-r21.3-v150-c3195-S259896945-079.SATISFIABLE.cnf	? (TO)	5000.05	5000.05	3420610
random/large/ unif-k3-r4.2-v10000-c42000-S338979727-056-UNKNOWN.cnf	? (TO)	5000.05	4999.93	3420279
random/large/ unif-k7-r85-v200-c17000-S181603592-089-UNKNOWN.cnf	? (TO)	5000.05	4999.94	3420285
random/large/ unif-k3-r4.2-v20000-c84000-S1778371838-017-UNKNOWN.cnf	? (TO)	5000.05	4999.91	3420288
random/medium/ unif-k7-r89-v90-c8010-S64052796-033.SATISFIABLE.cnf	? (TO)	5000.05	4999.93	3420583
random/large/ unif-k5-r20-v2000-c40000-S922811046-076-UNKNOWN.cnf	? (TO)	5000.06	4999.94	3420423
random/large/ unif-k7-r85-v200-c17000-S862393334-098-UNKNOWN.cnf	? (TO)	5000.06	4999.94	3420255
random/medium/ unif-k3-r4.26-v600-c2556-S248192082-054.UNKNOWN.cnf	? (TO)	5000.06	4999.95	3420486
random/large/ unif-k7-r85-v400-c34000-S927774663-037-UNKNOWN.cnf	? (TO)	5000.06	4999.94	3420349
random/large/ unif-k5-r20-v1000-c20000-S1351005860-011-UNKNOWN.cnf	? (TO)	5000.06	4999.95	3420436
random/medium/ unif-k7-r89-v80-c7120-S1639347701-083.SATISFIABLE.cnf	? (TO)	5000.06	4999.94	3420675
random/large/ unif-k5-r20-v2000-c40000-S394483079-002-UNKNOWN.cnf	? (TO)	5000.06	4999.94	3420323
random/large/ unif-k7-r85-v300-c25500-S1286362348-008-UNKNOWN.cnf	? (TO)	5000.06	4999.94	3420294
random/large/ unif-k3-r4.2-v20000-c84000-S357264423-067-UNKNOWN.cnf	? (TO)	5000.06	4999.92	3420344
random/medium/ unif-k7-r89-v80-c7120-S841042385-099.UNKNOWN.cnf	? (TO)	5000.06	5000.04	3420809
random/large/ unif-k7-r85-v150-c12750-S313239685-087-UNKNOWN.cnf	? (TO)	5000.06	4999.94	3420281
random/large/ unif-k7-r85-v150-c12750-S896023516-057-UNKNOWN.cnf	? (TO)	5000.06	4999.94	3420309
random/medium/ unif-k5-r21.3-v150-c3195-S1650617512-037.SATISFIABLE.cnf	? (TO)	5000.06	4999.85	3420822
random/medium/ unif-k7-r89-v80-c7120-S1254315629-032.SATISFIABLE.cnf	? (TO)	5000.06	4999.94	3420604
random/large/ unif-k3-r4.2-v2500-c10500-S89508070-083-UNKNOWN.cnf	? (TO)	5000.06	4999.94	3420389
random/large/ unif-k3-r4.2-v20000-c84000-S493397373-056-UNKNOWN.cnf	? (TO)	5000.06	4999.92	3420352
random/medium/ unif-k3-r4.26-v600-c2556-S1720013904-060.UNKNOWN.cnf	? (TO)	5000.06	4999.95	3420656
random/medium/ unif-k3-r4.26-v700-c2982-S1230934123-063.UNKNOWN.cnf	? (TO)	5000.06	5000.05	3420653
random/large/ unif-k5-r20-v2000-c40000-S319509287-085-UNKNOWN.cnf	? (TO)	5000.06	4999.94	3420291
random/medium/ unif-k5-r21.3-v125-c2662-S396831120-092.UNKNOWN.cnf	? (TO)	5000.06	4999.95	3420487
random/medium/ unif-k3-r4.26-v550-c2343-S720541313-052.UNKNOWN.cnf	? (TO)	5000.06	4999.94	3420551
random/medium/ unif-k5-r21.3-v150-c3195-S1216095115-028.SATISFIABLE.cnf	? (TO)	5000.06	4999.95	3420602
random/large/ unif-k3-r4.2-v25000-c105000-S533496308-018-UNKNOWN.cnf	? (TO)	5000.06	4999.91	3420342
random/large/ unif-k7-r85-v400-c34000-S943787219-031-UNKNOWN.cnf	? (TO)	5000.06	4999.94	3420368
random/large/ unif-k5-r20-v1250-c25000-S871131876-087-UNKNOWN.cnf	? (TO)	5000.06	4999.94	3420447
random/large/ unif-k3-r4.2-v50000-c210000-S1170024351-015-UNKNOWN.cnf	? (TO)	5000.06	4999.93	3420446
random/large/ unif-k7-r85-v150-c12750-S789865458-092-UNKNOWN.cnf	? (TO)	5000.06	4999.95	3420321
random/medium/ unif-k7-r89-v90-c8010-S818753762-096.UNKNOWN.cnf	? (TO)	5000.06	4999.94	3420451
random/large/ unif-k3-r4.2-v2500-c10500-S882087907-088-UNKNOWN.cnf	? (TO)	5000.06	4999.94	3420322
random/large/ unif-k3-r4.2-v35000-c147000-S448503257-098-UNKNOWN.cnf	? (TO)	5000.06	5000.02	3420337
random/medium/ unif-k7-r89-v80-c7120-S199880667-010.UNKNOWN.cnf	? (TO)	5000.06	4999.94	3420623
random/medium/ unif-k3-r4.26-v600-c2556-S506401817-075.UNKNOWN.cnf	? (TO)	5000.06	4999.95	3420739
random/large/ unif-k3-r4.2-v20000-c84000-S1204913987-029-UNKNOWN.cnf	? (TO)	5000.06	4999.94	3420266
random/large/ unif-k5-r20-v2000-c40000-S61914820-087-UNKNOWN.cnf	? (TO)	5000.06	4999.94	3420383
random/large/ unif-k7-r85-v300-c25500-S1158419275-045-UNKNOWN.cnf	? (TO)	5000.06	4999.95	3420397
random/medium/ unif-k7-r89-v90-c8010-S2014736708-037.SATISFIABLE.cnf	? (TO)	5000.06	4999.94	3420567
random/large/ unif-k5-r20-v1000-c20000-S107009952-009-UNKNOWN.cnf	? (TO)	5000.07	4999.95	3420251
random/large/ unif-k7-r85-v300-c25500-S69399346-065-UNKNOWN.cnf	? (TO)	5000.07	5000.04	3420408
random/medium/ unif-k7-r89-v70-c6230-S1960545292-083.UNKNOWN.cnf	? (TO)	5000.07	4999.94	3420801
random/medium/ unif-k3-r4.26-v650-c2769-S1631976568-086.UNKNOWN.cnf	? (TO)	5000.07	4999.95	3420824
random/medium/ unif-k3-r4.26-v700-c2982-S812011128-009.SATISFIABLE.cnf	? (TO)	5000.07	5000.25	3420835
random/large/ unif-k5-r20-v1250-c25000-S573815729-001-UNKNOWN.cnf	? (TO)	5000.07	4999.95	3420310
random/large/ unif-k3-r4.2-v10000-c42000-S977705304-066-UNKNOWN.cnf	? (TO)	5000.07	4999.93	3420297
random/medium/ unif-k3-r4.26-v600-c2556-S1339958817-007.UNKNOWN.cnf	? (TO)	5000.07	4999.94	3420696
random/large/ unif-k5-r20-v1000-c20000-S1950850246-038-UNKNOWN.cnf	? (TO)	5000.07	4999.95	3420336
random/large/ unif-k3-r4.2-v20000-c84000-S313385224-076-UNKNOWN.cnf	? (TO)	5000.07	4999.91	3420371
random/medium/ unif-k7-r89-v80-c7120-S1637697223-097.UNKNOWN.cnf	? (TO)	5000.07	4999.94	3420663
random/medium/ unif-k5-r21.3-v150-c3195-S31505198-038.UNKNOWN.cnf	? (TO)	5000.07	4999.95	3420659
random/medium/ unif-k3-r4.26-v750-c3195-S158767647-027.SATISFIABLE.cnf	? (TO)	5000.07	4999.95	3420657
random/medium/ unif-k7-r89-v80-c7120-S1968028041-077.UNKNOWN.cnf	? (TO)	5000.07	5000.14	3420834
random/large/ unif-k3-r4.2-v5000-c21000-S720914503-051-UNKNOWN.cnf	? (TO)	5000.07	4999.92	3420372
random/large/ unif-k3-r4.2-v15000-c63000-S619136916-059-UNKNOWN.cnf	? (TO)	5000.07	4999.92	3420430
random/medium/ unif-k3-r4.26-v650-c2769-S1235135694-059.UNKNOWN.cnf	? (TO)	5000.07	4999.95	3420626
random/large/ unif-k3-r4.2-v50000-c210000-S874492400-019-UNKNOWN.cnf	? (TO)	5000.07	4999.92	3420331
random/large/ unif-k7-r85-v300-c25500-S942666749-061-UNKNOWN.cnf	? (TO)	5000.07	4999.94	3420290
random/large/ unif-k3-r4.2-v30000-c126000-S643238994-057-UNKNOWN.cnf	? (TO)	5000.07	4999.93	3420403
random/medium/ unif-k5-r21.3-v175-c3727-S82160031-050.SATISFIABLE.cnf	? (TO)	5000.07	4999.95	3420578
random/medium/ unif-k7-r89-v80-c7120-S839353433-100.UNKNOWN.cnf	? (TO)	5000.07	4999.84	3420605
random/medium/ unif-k5-r21.3-v175-c3727-S1126657927-015.SATISFIABLE.cnf	? (TO)	5000.07	4999.95	3420811
random/large/ unif-k3-r4.2-v10000-c42000-S709804505-031-UNKNOWN.cnf	? (TO)	5000.07	5000.02	3420292
random/large/ unif-k5-r20-v1000-c20000-S541740666-063-UNKNOWN.cnf	? (TO)	5000.07	4999.95	3420282
random/large/ unif-k3-r4.2-v35000-c147000-S1268831169-016-UNKNOWN.cnf	? (TO)	5000.07	4999.92	3420401
random/large/ unif-k5-r20-v1500-c30000-S1793954886-065-UNKNOWN.cnf	? (TO)	5000.07	4999.94	3420286
random/medium/ unif-k5-r21.3-v150-c3195-S788239782-034.UNKNOWN.cnf	? (TO)	5000.07	4999.95	3420762
random/medium/ unif-k7-r89-v90-c8010-S271997978-024.SATISFIABLE.cnf	? (TO)	5000.07	4999.84	3420761
random/large/ unif-k3-r4.2-v40000-c168000-S1184456903-078-UNKNOWN.cnf	? (TO)	5000.07	4999.92	3420356
random/large/ unif-k3-r4.2-v40000-c168000-S1920335371-069-UNKNOWN.cnf	? (TO)	5000.07	4999.92	3420416
random/medium/ unif-k7-r89-v80-c7120-S474185167-033.SATISFIABLE.cnf	? (TO)	5000.07	4999.84	3420573
random/large/ unif-k3-r4.2-v50000-c210000-S957916968-041-UNKNOWN.cnf	? (TO)	5000.07	4999.93	3420298
random/large/ unif-k3-r4.2-v25000-c105000-S808762165-030-UNKNOWN.cnf	? (TO)	5000.07	4999.92	3420444
random/large/ unif-k3-r4.2-v40000-c168000-S64788608-008-UNKNOWN.cnf	? (TO)	5000.07	4999.92	3420365
random/large/ unif-k3-r4.2-v15000-c63000-S89201333-019-UNKNOWN.cnf	? (TO)	5000.07	4999.92	3420366
random/medium/ unif-k5-r21.3-v175-c3727-S185833400-026.SATISFIABLE.cnf	? (TO)	5000.07	4999.96	3420738
random/large/ unif-k5-r20-v750-c15000-S1787347746-067-UNKNOWN.cnf	? (TO)	5000.08	4999.97	3420367
random/large/ unif-k5-r20-v1250-c25000-S936047914-093-UNKNOWN.cnf	? (TO)	5000.08	5000.05	3420350
random/large/ unif-k5-r20-v2000-c40000-S1993071608-084-UNKNOWN.cnf	? (TO)	5000.08	4999.94	3420385
random/large/ unif-k7-r85-v200-c17000-S335550727-070-UNKNOWN.cnf	? (TO)	5000.08	4999.94	3420381
random/large/ unif-k3-r4.2-v50000-c210000-S758437099-099-UNKNOWN.cnf	? (TO)	5000.08	5000.12	3420353
random/large/ unif-k3-r4.2-v25000-c105000-S30704505-092-UNKNOWN.cnf	? (TO)	5000.08	5000.12	3420376
random/large/ unif-k3-r4.2-v5000-c21000-S1157767653-025-UNKNOWN.cnf	? (TO)	5000.08	4999.93	3420301
random/large/ unif-k3-r4.2-v30000-c126000-S379804333-028-UNKNOWN.cnf	? (TO)	5000.08	4999.91	3420363
random/medium/ unif-k3-r4.26-v650-c2769-S944656226-046.UNKNOWN.cnf	? (TO)	5000.08	5000.05	3420728
random/large/ unif-k3-r4.2-v5000-c21000-S912026804-034-UNKNOWN.cnf	? (TO)	5000.08	5000.23	3420305
random/large/ unif-k3-r4.2-v15000-c63000-S976131144-051-UNKNOWN.cnf	? (TO)	5000.08	5000.02	3420319
random/medium/ unif-k5-r21.3-v125-c2662-S1194239878-049.UNKNOWN.cnf	? (TO)	5000.08	4999.95	3420678
random/medium/ unif-k5-r21.3-v150-c3195-S1428216398-076.SATISFIABLE.cnf	? (TO)	5000.08	4999.95	3420661
random/medium/ unif-k3-r4.26-v650-c2769-S960948361-055.UNKNOWN.cnf	? (TO)	5000.08	5000.15	3420616
random/large/ unif-k7-r85-v250-c21250-S381985918-018-UNKNOWN.cnf	? (TO)	5000.08	4999.93	3420278
random/medium/ unif-k3-r4.26-v800-c3408-S456969343-019.SATISFIABLE.cnf	? (TO)	5000.08	4999.85	3420606
random/medium/ unif-k7-r89-v80-c7120-S513640009-027.SATISFIABLE.cnf	? (TO)	5000.08	4999.93	3420755
random/medium/ unif-k7-r89-v80-c7120-S175431861-098.SATISFIABLE.cnf	? (TO)	5000.08	4999.93	3420585
random/medium/ unif-k7-r89-v80-c7120-S2107193201-069.UNKNOWN.cnf	? (TO)	5000.08	4999.93	3420560
random/medium/ unif-k3-r4.26-v750-c3195-S2050161601-088.SATISFIABLE.cnf	? (TO)	5000.08	4999.95	3420603
random/medium/ unif-k5-r21.3-v175-c3727-S752966552-099.SATISFIABLE.cnf	? (TO)	5000.08	5000.57	3420559
random/large/ unif-k3-r4.2-v40000-c168000-S1368340883-085-UNKNOWN.cnf	? (TO)	5000.08	4999.92	3420289
random/medium/ unif-k7-r89-v80-c7120-S1147977026-087.SATISFIABLE.cnf	? (TO)	5000.08	4999.93	3420455
random/medium/ unif-k3-r4.26-v650-c2769-S1402967451-034.SATISFIABLE.cnf	? (TO)	5000.08	4999.94	3420816
random/large/ unif-k3-r4.2-v40000-c168000-S386300535-065-UNKNOWN.cnf	? (TO)	5000.08	4999.92	3420418
random/medium/ unif-k3-r4.26-v800-c3408-S846876765-035.SATISFIABLE.cnf	? (TO)	5000.08	5000.05	3420812
random/large/ unif-k3-r4.2-v50000-c210000-S517749870-003-UNKNOWN.cnf	? (TO)	5000.08	4999.92	3420420
random/large/ unif-k3-r4.2-v10000-c42000-S677627694-051-UNKNOWN.cnf	? (TO)	5000.08	4999.93	3420429
random/medium/ unif-k7-r89-v70-c6230-S635440951-015.UNKNOWN.cnf	? (TO)	5000.08	4999.92	3420566
random/medium/ unif-k5-r21.3-v150-c3195-S334650851-022.SATISFIABLE.cnf	? (TO)	5000.08	5000.16	3420500
random/large/ unif-k3-r4.2-v5000-c21000-S1781430408-009-UNKNOWN.cnf	? (TO)	5000.08	4999.93	3420425
random/large/ unif-k3-r4.2-v30000-c126000-S285324961-078-UNKNOWN.cnf	? (TO)	5000.08	4999.92	3420399
random/medium/ unif-k3-r4.26-v600-c2556-S1885965779-049.UNKNOWN.cnf	? (TO)	5000.09	4999.94	3420843
random/large/ unif-k7-r85-v250-c21250-S977260632-016-UNKNOWN.cnf	? (TO)	5000.09	4999.94	3420443
random/large/ unif-k5-r20-v1500-c30000-S64154096-097-UNKNOWN.cnf	? (TO)	5000.09	5000.05	3420441
random/medium/ unif-k5-r21.3-v125-c2662-S236776564-037.SATISFIABLE.cnf	? (TO)	5000.09	4999.95	3420815
random/medium/ unif-k3-r4.26-v600-c2556-S610796494-086.SATISFIABLE.cnf	? (TO)	5000.09	4999.94	3420754
random/medium/ unif-k5-r21.3-v125-c2662-S2092454698-027.UNKNOWN.cnf	? (TO)	5000.09	5000.05	3420771
random/large/ unif-k3-r4.2-v2500-c10500-S1907658523-004-UNKNOWN.cnf	? (TO)	5000.09	5000.14	3420398
random/medium/ unif-k3-r4.26-v600-c2556-S869604189-077.UNKNOWN.cnf	? (TO)	5000.09	4999.94	3420731
random/medium/ unif-k7-r89-v90-c8010-S741717046-057.UNKNOWN.cnf	? (TO)	5000.09	5000.04	3420780
random/large/ unif-k3-r4.2-v40000-c168000-S895938734-057-UNKNOWN.cnf	? (TO)	5000.09	4999.92	3420280
random/large/ unif-k5-r20-v2000-c40000-S656892101-075-UNKNOWN.cnf	? (TO)	5000.09	4999.93	3420277
random/large/ unif-k3-r4.2-v25000-c105000-S1838224332-006-UNKNOWN.cnf	? (TO)	5000.09	4999.92	3420303
random/medium/ unif-k3-r4.26-v800-c3408-S1534711423-054.SATISFIABLE.cnf	? (TO)	5000.09	4999.95	3420620
random/medium/ unif-k3-r4.26-v700-c2982-S1800377425-032.UNKNOWN.cnf	? (TO)	5000.09	4999.95	3420622
random/medium/ unif-k3-r4.26-v750-c3195-S1115406553-014.SATISFIABLE.cnf	? (TO)	5000.09	4999.95	3420848
random/large/ unif-k3-r4.2-v5000-c21000-S1259410977-065-UNKNOWN.cnf	? (TO)	5000.09	4999.93	3420390
random/large/ unif-k3-r4.2-v35000-c147000-S1098107876-060-UNKNOWN.cnf	? (TO)	5000.09	4999.92	3420273
random/medium/ unif-k7-r89-v70-c6230-S289144908-090.UNKNOWN.cnf	? (TO)	5000.09	4999.93	3420642
random/large/ unif-k7-r85-v300-c25500-S1859210562-077-UNKNOWN.cnf	? (TO)	5000.09	4999.94	3420426
random/medium/ unif-k7-r89-v70-c6230-S560963242-048.UNKNOWN.cnf	? (TO)	5000.09	5000.03	3420850
random/medium/ unif-k3-r4.26-v750-c3195-S664770261-061.SATISFIABLE.cnf	? (TO)	5000.09	5000.05	3420519
random/large/ unif-k3-r4.2-v2500-c10500-S722024572-014-UNKNOWN.cnf	? (TO)	5000.09	4999.94	3420302
random/large/ unif-k3-r4.2-v50000-c210000-S1401248878-094-UNKNOWN.cnf	? (TO)	5000.09	4999.93	3420333
random/large/ unif-k3-r4.2-v10000-c42000-S1256256213-053-UNKNOWN.cnf	? (TO)	5000.09	4999.93	3420253
random/large/ unif-k3-r4.2-v25000-c105000-S92008434-079-UNKNOWN.cnf	? (TO)	5000.09	4999.91	3420272
random/large/ unif-k3-r4.2-v50000-c210000-S746725327-020-UNKNOWN.cnf	? (TO)	5000.09	4999.91	3420325
random/medium/ unif-k3-r4.26-v650-c2769-S1069233620-009.SATISFIABLE.cnf	? (TO)	5000.09	5000.15	3420707
random/large/ unif-k5-r20-v750-c15000-S888530894-020-UNKNOWN.cnf	? (TO)	5000.09	4999.96	3420369
random/large/ unif-k7-r85-v200-c17000-S771170845-016-UNKNOWN.cnf	? (TO)	5000.09	4999.93	3420341
random/large/ unif-k5-r20-v1250-c25000-S935783783-069-UNKNOWN.cnf	? (TO)	5000.09	4999.95	3420307
random/medium/ unif-k7-r89-v90-c8010-S501033814-049.SATISFIABLE.cnf	? (TO)	5000.09	4999.94	3420723
random/large/ unif-k5-r20-v750-c15000-S1207160791-083-UNKNOWN.cnf	? (TO)	5000.09	4999.96	3420375
random/large/ unif-k3-r4.2-v30000-c126000-S1196935200-064-UNKNOWN.cnf	? (TO)	5000.09	4999.92	3420304
random/large/ unif-k7-r85-v150-c12750-S511186849-048-UNKNOWN.cnf	? (TO)	5000.09	4999.94	3420402
random/large/ unif-k7-r85-v250-c21250-S317257086-003-UNKNOWN.cnf	? (TO)	5000.09	4999.94	3420329
random/medium/ unif-k7-r89-v80-c7120-S1494985128-003.UNKNOWN.cnf	? (TO)	5000.09	4999.94	3420464
random/medium/ unif-k3-r4.26-v800-c3408-S1631205309-024.SATISFIABLE.cnf	? (TO)	5000.09	4999.95	3420484
random/large/ unif-k3-r4.2-v10000-c42000-S360796849-068-UNKNOWN.cnf	? (TO)	5000.09	4999.93	3420252
random/medium/ unif-k5-r21.3-v150-c3195-S1653142431-025.UNKNOWN.cnf	? (TO)	5000.09	4999.94	3420524
random/medium/ unif-k5-r21.3-v125-c2662-S1224290751-070.UNKNOWN.cnf	? (TO)	5000.09	5000.05	3420526
random/large/ unif-k7-r85-v200-c17000-S970203146-047-UNKNOWN.cnf	? (TO)	5000.09	4999.94	3420386
random/large/ unif-k3-r4.2-v2500-c10500-S1300417189-038-UNKNOWN.cnf	? (TO)	5000.09	4999.93	3420287
random/medium/ unif-k3-r4.26-v700-c2982-S628307658-028.SATISFIABLE.cnf	? (TO)	5000.09	4999.94	3420564
random/medium/ unif-k5-r21.3-v125-c2662-S1258495116-025.SATISFIABLE.cnf	? (TO)	5000.09	4999.94	3420535
random/large/ unif-k3-r4.2-v35000-c147000-S419010076-063-UNKNOWN.cnf	? (TO)	5000.1	5000.02	3420267
random/large/ unif-k3-r4.2-v40000-c168000-S471691933-060-UNKNOWN.cnf	? (TO)	5000.1	4999.91	3420326
random/medium/ unif-k7-r89-v90-c8010-S2039249975-038.SATISFIABLE.cnf	? (TO)	5000.1	4999.94	3420807
random/medium/ unif-k7-r89-v90-c8010-S51928934-076.SATISFIABLE.cnf	? (TO)	5000.1	4999.94	3420737
random/medium/ unif-k5-r21.3-v150-c3195-S1499315720-089.SATISFIABLE.cnf	? (TO)	5000.1	4999.94	3420730
random/medium/ unif-k3-r4.26-v700-c2982-S608588601-044.SATISFIABLE.cnf	? (TO)	5000.1	4999.95	3420726
random/medium/ unif-k3-r4.26-v550-c2343-S1554089933-067.UNKNOWN.cnf	? (TO)	5000.1	4999.94	3420685
random/medium/ unif-k7-r89-v80-c7120-S153059456-076.SATISFIABLE.cnf	? (TO)	5000.1	4999.94	3420682
random/medium/ unif-k7-r89-v80-c7120-S1801179747-047.SATISFIABLE.cnf	? (TO)	5000.1	4999.94	3420670
random/medium/ unif-k5-r21.3-v175-c3727-S100095490-071.SATISFIABLE.cnf	? (TO)	5000.1	5000.05	3420643
random/medium/ unif-k3-r4.26-v750-c3195-S576842028-023.SATISFIABLE.cnf	? (TO)	5000.1	4999.94	3420632
random/medium/ unif-k5-r21.3-v125-c2662-S1397972185-007.UNKNOWN.cnf	? (TO)	5000.1	4999.95	3420618
random/medium/ unif-k3-r4.26-v650-c2769-S216164582-083.UNKNOWN.cnf	? (TO)	5000.1	4999.95	3420757
random/medium/ unif-k5-r21.3-v125-c2662-S1061710238-001.UNKNOWN.cnf	? (TO)	5000.1	4999.94	3420584
random/medium/ unif-k7-r89-v80-c7120-S1980280938-088.UNKNOWN.cnf	? (TO)	5000.1	4999.94	3420576
random/medium/ unif-k5-r21.3-v175-c3727-S110935064-075.SATISFIABLE.cnf	? (TO)	5000.1	4999.94	3420569
random/medium/ unif-k5-r21.3-v150-c3195-S873866006-055.UNKNOWN.cnf	? (TO)	5000.1	4999.95	3420489
random/medium/ unif-k3-r4.26-v650-c2769-S1495462442-016.SATISFIABLE.cnf	? (TO)	5000.1	4999.95	3420469
random/medium/ unif-k3-r4.26-v700-c2982-S2036658259-036.UNKNOWN.cnf	? (TO)	5000.1	4999.95	3420465
random/medium/ unif-k3-r4.26-v750-c3195-S8215859-049.SATISFIABLE.cnf	? (TO)	5000.1	4999.95	3420460
random/medium/ unif-k5-r21.3-v175-c3727-S1110880865-004.SATISFIABLE.cnf	? (TO)	5000.1	4999.96	3420459
random/medium/ unif-k3-r4.26-v700-c2982-S942849-099.UNKNOWN.cnf	? (TO)	5000.1	4999.95	3420546
random/large/ unif-k7-r85-v250-c21250-S1116436500-050-UNKNOWN.cnf	? (TO)	5000.1	5000.04	3420442
random/large/ unif-k7-r85-v250-c21250-S58287803-001-UNKNOWN.cnf	? (TO)	5000.1	4999.95	3420437
random/large/ unif-k3-r4.2-v35000-c147000-S625465881-078-UNKNOWN.cnf	? (TO)	5000.1	5000.03	3420434
random/large/ unif-k3-r4.2-v20000-c84000-S878494004-057-UNKNOWN.cnf	? (TO)	5000.1	5000.03	3420433
random/medium/ unif-k3-r4.26-v600-c2556-S1245124682-071.UNKNOWN.cnf	? (TO)	5000.1	5000.05	3420516
random/medium/ unif-k3-r4.26-v750-c3195-S1985868475-070.SATISFIABLE.cnf	? (TO)	5000.1	4999.94	3420492
random/large/ unif-k3-r4.2-v2500-c10500-S49783605-066-UNKNOWN.cnf	? (TO)	5000.1	5000.05	3420395
random/large/ unif-k3-r4.2-v20000-c84000-S1298436766-097-UNKNOWN.cnf	? (TO)	5000.1	5000.22	3420394
random/large/ unif-k5-r20-v750-c15000-S64285713-004-UNKNOWN.cnf	? (TO)	5000.1	4999.96	3420382
random/large/ unif-k7-r85-v300-c25500-S680524168-083-UNKNOWN.cnf	? (TO)	5000.1	4999.94	3420373
random/large/ unif-k5-r20-v1250-c25000-S1245360321-088-UNKNOWN.cnf	? (TO)	5000.1	4999.95	3420355
random/large/ unif-k7-r85-v250-c21250-S655589261-059-UNKNOWN.cnf	? (TO)	5000.1	4999.94	3420334
random/large/ unif-k3-r4.2-v2500-c10500-S374960214-041-UNKNOWN.cnf	? (TO)	5000.1	4999.94	3420419
random/large/ unif-k5-r20-v1000-c20000-S698025027-034-UNKNOWN.cnf	? (TO)	5000.1	5000.05	3420414
random/large/ unif-k7-r85-v150-c12750-S1737989193-079-UNKNOWN.cnf	? (TO)	5000.1	5000.04	3420413
random/large/ unif-k7-r85-v400-c34000-S536077088-015-UNKNOWN.cnf	? (TO)	5000.1	4999.95	3420411
random/large/ unif-k3-r4.2-v30000-c126000-S1354319962-100-UNKNOWN.cnf	? (TO)	5000.1	5000.02	3420409
random/large/ unif-k7-r85-v250-c21250-S981492757-074-UNKNOWN.cnf	? (TO)	5000.1	4999.94	3420407
random/large/ unif-k3-r4.2-v15000-c63000-S38529837-091-UNKNOWN.cnf	? (TO)	5000.1	5000.02	3420332
random/large/ unif-k3-r4.2-v5000-c21000-S434028979-077-UNKNOWN.cnf	? (TO)	5000.1	5000.13	3420327
random/large/ unif-k5-r20-v1250-c25000-S1688530456-019-UNKNOWN.cnf	? (TO)	5000.1	4999.95	3420276
random/large/ unif-k5-r20-v2000-c40000-S1143439968-082-UNKNOWN.cnf	? (TO)	5000.1	5000.04	3420270
random/large/ unif-k3-r4.2-v40000-c168000-S845438593-067-UNKNOWN.cnf	? (TO)	5000.1	5000.03	3420313
random/large/ unif-k3-r4.2-v5000-c21000-S936020932-012-UNKNOWN.cnf	? (TO)	5000.1	4999.94	3420308
random/large/ unif-k3-r4.2-v25000-c105000-S1233052734-067-UNKNOWN.cnf	? (TO)	5000.11	5000.02	3420265
random/large/ unif-k7-r85-v200-c17000-S1227169170-092-UNKNOWN.cnf	? (TO)	5000.11	4999.94	3420328
random/large/ unif-k5-r20-v1000-c20000-S941604910-059-UNKNOWN.cnf	? (TO)	5000.11	5000.06	3420268
random/medium/ unif-k5-r21.3-v175-c3727-S520872997-084.SATISFIABLE.cnf	? (TO)	5000.11	4999.95	3420463
random/medium/ unif-k5-r21.3-v150-c3195-S1787844685-006.SATISFIABLE.cnf	? (TO)	5000.11	5000.05	3420830
random/large/ unif-k5-r20-v1500-c30000-S303265982-092-UNKNOWN.cnf	? (TO)	5000.11	5000.05	3420361
random/large/ unif-k5-r20-v1500-c30000-S1180959030-088-UNKNOWN.cnf	? (TO)	5000.11	4999.94	3420392
random/medium/ unif-k5-r21.3-v150-c3195-S1502652578-043.UNKNOWN.cnf	? (TO)	5000.11	4999.96	3420634
random/large/ unif-k3-r4.2-v2500-c10500-S924370159-018-UNKNOWN.cnf	? (TO)	5000.11	4999.94	3420274
random/large/ unif-k7-r85-v150-c12750-S93401285-051-UNKNOWN.cnf	? (TO)	5000.11	4999.95	3420254
random/medium/ unif-k7-r89-v90-c8010-S764895749-094.UNKNOWN.cnf	? (TO)	5000.11	5000.14	3420532
random/medium/ unif-k3-r4.26-v700-c2982-S1971541934-090.UNKNOWN.cnf	? (TO)	5000.11	4999.96	3420571
random/medium/ unif-k3-r4.26-v800-c3408-S902286199-017.SATISFIABLE.cnf	? (TO)	5000.11	5000.05	3420769
random/medium/ unif-k7-r89-v90-c8010-S775210372-041.UNKNOWN.cnf	? (TO)	5000.11	5000.04	3420554
random/medium/ unif-k3-r4.26-v750-c3195-S973075635-083.SATISFIABLE.cnf	? (TO)	5000.11	4999.94	3420555
random/large/ unif-k5-r20-v1500-c30000-S1305346115-067-UNKNOWN.cnf	? (TO)	5000.11	4999.95	3420431
random/medium/ unif-k7-r89-v90-c8010-S231612998-061.SATISFIABLE.cnf	? (TO)	5000.11	4999.94	3420746
random/large/ unif-k3-r4.2-v15000-c63000-S594553190-015-UNKNOWN.cnf	? (TO)	5000.11	4999.92	3420421
random/medium/ unif-k3-r4.26-v700-c2982-S115072124-051.SATISFIABLE.cnf	? (TO)	5000.11	4999.95	3420736
random/large/ unif-k5-r20-v750-c15000-S976181807-056-UNKNOWN.cnf	? (TO)	5000.11	4999.96	3420435
random/large/ unif-k7-r85-v200-c17000-S1348818483-020-UNKNOWN.cnf	? (TO)	5000.11	4999.94	3420312
random/large/ unif-k5-r20-v1000-c20000-S519298227-080-UNKNOWN.cnf	? (TO)	5000.11	4999.96	3420438
random/large/ unif-k5-r20-v1000-c20000-S945664020-055-UNKNOWN.cnf	? (TO)	5000.11	4999.95	3420343
random/large/ unif-k3-r4.2-v5000-c21000-S425619685-036-UNKNOWN.cnf	? (TO)	5000.11	5000.03	3420314
random/medium/ unif-k5-r21.3-v150-c3195-S375894551-007.UNKNOWN.cnf	? (TO)	5000.11	4999.95	3420493
random/large/ unif-k5-r20-v2000-c40000-S837431592-027-UNKNOWN.cnf	? (TO)	5000.11	4999.93	3420364
random/large/ unif-k7-r85-v400-c34000-S817927155-033-UNKNOWN.cnf	? (TO)	5000.11	4999.94	3420391
random/large/ unif-k5-r20-v1500-c30000-S377999798-061-UNKNOWN.cnf	? (TO)	5000.11	4999.94	3420387
random/large/ unif-k3-r4.2-v10000-c42000-S963265686-085-UNKNOWN.cnf	? (TO)	5000.11	5000.03	3420351
random/large/ unif-k3-r4.2-v15000-c63000-S1201608256-021-UNKNOWN.cnf	? (TO)	5000.11	4999.92	3420315
random/large/ unif-k3-r4.2-v25000-c105000-S5267991-057-UNKNOWN.cnf	? (TO)	5000.11	5000.02	3420317
random/medium/ unif-k3-r4.26-v800-c3408-S1831593686-090.SATISFIABLE.cnf	? (TO)	5000.11	5000.05	3420508
random/medium/ unif-k5-r21.3-v150-c3195-S1847541883-049.UNKNOWN.cnf	? (TO)	5000.11	4999.95	3420694
random/large/ unif-k5-r20-v1250-c25000-S540595895-046-UNKNOWN.cnf	? (TO)	5000.11	4999.95	3420388
random/large/ unif-k5-r20-v750-c15000-S656533785-100-UNKNOWN.cnf	? (TO)	5000.11	4999.96	3420406
random/large/ unif-k3-r4.2-v30000-c126000-S858279511-076-UNKNOWN.cnf	? (TO)	5000.11	5000.12	3420346
random/medium/ unif-k3-r4.26-v600-c2556-S1677156340-036.UNKNOWN.cnf	? (TO)	5000.11	4999.94	3420673
random/medium/ unif-k5-r21.3-v150-c3195-S2124915970-046.UNKNOWN.cnf	? (TO)	5000.11	4999.95	3420547
random/large/ unif-k5-r20-v1250-c25000-S313445894-099-UNKNOWN.cnf	? (TO)	5000.11	4999.94	3420448
random/large/ unif-k5-r20-v750-c15000-S440979335-036-UNKNOWN.cnf	? (TO)	5000.11	4999.96	3420330
random/large/ unif-k5-r20-v750-c15000-S131912631-041-UNKNOWN.cnf	? (TO)	5000.12	5000.06	3420348
random/large/ unif-k7-r85-v400-c34000-S1163171897-095-UNKNOWN.cnf	? (TO)	5000.12	5000.04	3420393
random/large/ unif-k3-r4.2-v20000-c84000-S921718479-079-UNKNOWN.cnf	? (TO)	5000.12	5000.02	3420335
random/medium/ unif-k3-r4.26-v750-c3195-S397702672-080.SATISFIABLE.cnf	? (TO)	5000.12	5000.35	3420842
random/large/ unif-k7-r85-v400-c34000-S586055573-067-UNKNOWN.cnf	? (TO)	5000.12	4999.94	3420417
random/large/ unif-k7-r85-v250-c21250-S1274193329-021-UNKNOWN.cnf	? (TO)	5000.12	5000.04	3420415
random/large/ unif-k5-r20-v750-c15000-S3662714-068-UNKNOWN.cnf	? (TO)	5000.12	5000.06	3420260
random/large/ unif-k7-r85-v200-c17000-S72668411-025-UNKNOWN.cnf	? (TO)	5000.12	5000.15	3420412
random/medium/ unif-k7-r89-v90-c8010-S1458811765-091.UNKNOWN.cnf	? (TO)	5000.12	4999.94	3420845
random/large/ unif-k3-r4.2-v50000-c210000-S964643921-035-UNKNOWN.cnf	? (TO)	5000.12	4999.93	3420449
random/large/ unif-k3-r4.2-v30000-c126000-S926207202-053-UNKNOWN.cnf	? (TO)	5000.12	5000.02	3420405
random/medium/ unif-k5-r21.3-v175-c3727-S539832832-088.SATISFIABLE.cnf	? (TO)	5000.12	4999.96	3420540
random/large/ unif-k3-r4.2-v35000-c147000-S883457431-033-UNKNOWN.cnf	? (TO)	5000.12	5000.02	3420256
random/medium/ unif-k3-r4.26-v800-c3408-S852188518-088.SATISFIABLE.cnf	? (TO)	5000.12	5000.05	3420466
random/medium/ unif-k3-r4.26-v650-c2769-S1298256564-085.UNKNOWN.cnf	? (TO)	5000.12	5000.05	3420467
random/medium/ unif-k3-r4.26-v650-c2769-S1261029273-036.SATISFIABLE.cnf	? (TO)	5000.12	4999.95	3420791
random/medium/ unif-k3-r4.26-v550-c2343-S816372663-049.UNKNOWN.cnf	? (TO)	5000.12	4999.94	3420609
random/medium/ unif-k3-r4.26-v600-c2556-S379672572-039.SATISFIABLE.cnf	? (TO)	5000.12	5000.05	3420613
random/medium/ unif-k7-r89-v90-c8010-S2127424322-078.UNKNOWN.cnf	? (TO)	5000.12	5000.04	3420612
random/large/ unif-k5-r20-v1500-c30000-S877088425-001-UNKNOWN.cnf	? (TO)	5000.12	4999.94	3420271
random/medium/ unif-k5-r21.3-v150-c3195-S1836400953-011.UNKNOWN.cnf	? (TO)	5000.12	5000.05	3420752
random/medium/ unif-k3-r4.26-v650-c2769-S510739670-068.UNKNOWN.cnf	? (TO)	5000.12	5000.04	3420704
random/medium/ unif-k3-r4.26-v700-c2982-S1863077195-052.SATISFIABLE.cnf	? (TO)	5000.12	4999.94	3420740
random/medium/ unif-k7-r89-v90-c8010-S1321406709-042.UNKNOWN.cnf	? (TO)	5000.12	5000.14	3420709
random/large/ unif-k7-r85-v400-c34000-S1897807474-073-UNKNOWN.cnf	? (TO)	5000.12	5000.04	3420300
random/large/ unif-k7-r85-v300-c25500-S966156467-066-UNKNOWN.cnf	? (TO)	5000.12	5000.04	3420299
random/large/ unif-k7-r85-v300-c25500-S415002759-031-UNKNOWN.cnf	? (TO)	5000.12	4999.94	3420445
random/large/ unif-k3-r4.2-v2500-c10500-S705365444-036-UNKNOWN.cnf	? (TO)	5000.12	5000.14	3420360
random/large/ unif-k3-r4.2-v25000-c105000-S919014656-003-UNKNOWN.cnf	? (TO)	5000.12	4999.93	3420450
random/large/ unif-k7-r85-v300-c25500-S376724493-075-UNKNOWN.cnf	? (TO)	5000.12	5000.04	3420354
random/large/ unif-k5-r20-v1000-c20000-S72635791-098-UNKNOWN.cnf	? (TO)	5000.13	5000.05	3420296
random/medium/ unif-k3-r4.26-v700-c2982-S899463426-096.UNKNOWN.cnf	? (TO)	5000.13	5000.05	3420513
random/medium/ unif-k5-r21.3-v125-c2662-S118521533-021.UNKNOWN.cnf	? (TO)	5000.13	4999.95	3420846
random/medium/ unif-k3-r4.26-v700-c2982-S826445785-043.UNKNOWN.cnf	? (TO)	5000.13	4999.95	3420462
random/medium/ unif-k3-r4.26-v650-c2769-S910125393-002.UNKNOWN.cnf	? (TO)	5000.13	5000.05	3420652
random/medium/ unif-k5-r21.3-v175-c3727-S1592669696-022.SATISFIABLE.cnf	? (TO)	5000.13	5000.05	3420699
random/large/ unif-k7-r85-v150-c12750-S541704841-072-UNKNOWN.cnf	? (TO)	5000.13	4999.95	3420262
random/large/ unif-k7-r85-v400-c34000-S94779963-093-UNKNOWN.cnf	? (TO)	5000.13	5000.04	3420439
random/large/ unif-k7-r85-v400-c34000-S832901479-042-UNKNOWN.cnf	? (TO)	5000.13	4999.94	3420261
random/large/ unif-k3-r4.2-v5000-c21000-S901912629-090-UNKNOWN.cnf	? (TO)	5000.13	4999.94	3420422
random/medium/ unif-k5-r21.3-v150-c3195-S1579607106-017.SATISFIABLE.cnf	? (TO)	5000.13	5000.05	3420509
random/large/ unif-k5-r20-v1500-c30000-S715182559-083-UNKNOWN.cnf	? (TO)	5000.13	5000.05	3420283
random/medium/ unif-k5-r21.3-v125-c2662-S689381858-022.UNKNOWN.cnf	? (TO)	5000.13	5000.05	3420770
random/medium/ unif-k3-r4.26-v600-c2556-S1734827769-099.UNKNOWN.cnf	? (TO)	5000.13	5000.05	3420501
random/large/ unif-k7-r85-v200-c17000-S949556727-080-UNKNOWN.cnf	? (TO)	5000.13	5000.04	3420340
random/large/ unif-k5-r20-v1500-c30000-S969405384-096-UNKNOWN.cnf	? (TO)	5000.13	5000.05	3420359
random/medium/ unif-k3-r4.26-v700-c2982-S1565617179-002.UNKNOWN.cnf	? (TO)	5000.13	5000.15	3420477
random/large/ unif-k7-r85-v300-c25500-S926861876-013-UNKNOWN.cnf	? (TO)	5000.14	4999.94	3420311
random/medium/ unif-k7-r89-v80-c7120-S1818856267-075.UNKNOWN.cnf	? (TO)	5000.14	5000.14	3420514
random/medium/ unif-k7-r89-v90-c8010-S1475406203-080.UNKNOWN.cnf	? (TO)	5000.14	5000.14	3420572
random/medium/ unif-k7-r89-v90-c8010-S1828831772-021.SATISFIABLE.cnf	? (TO)	5000.14	4999.94	3420545
random/medium/ unif-k3-r4.26-v600-c2556-S224791863-033.UNKNOWN.cnf	? (TO)	5000.14	4999.95	3420688
random/medium/ unif-k5-r21.3-v150-c3195-S1116496771-020.SATISFIABLE.cnf	? (TO)	5000.14	5000.15	3420525
random/medium/ unif-k3-r4.26-v700-c2982-S893015585-015.SATISFIABLE.cnf	? (TO)	5000.14	4999.95	3420701
random/large/ unif-k3-r4.2-v40000-c168000-S709305826-098-UNKNOWN.cnf	? (TO)	5000.14	5000.04	3420318
random/large/ unif-k3-r4.2-v2500-c10500-S1201761407-024-UNKNOWN.cnf	? (TO)	5000.14	5000.04	3420410
random/large/ unif-k5-r20-v750-c15000-S957625236-045-UNKNOWN.cnf	? (TO)	5000.14	5000.16	3420257
random/large/ unif-k7-r85-v200-c17000-S283489555-036-UNKNOWN.cnf	? (TO)	5000.14	4999.95	3420316
random/medium/ unif-k3-r4.26-v700-c2982-S1124205008-074.UNKNOWN.cnf	? (TO)	5000.14	4999.95	3420787
random/large/ unif-k7-r85-v250-c21250-S1682211323-009-UNKNOWN.cnf	? (TO)	5000.14	5000.04	3420263
random/medium/ unif-k3-r4.26-v650-c2769-S29470018-050.UNKNOWN.cnf	? (TO)	5000.14	5000.05	3420714
random/medium/ unif-k3-r4.26-v700-c2982-S157016908-041.UNKNOWN.cnf	? (TO)	5000.14	5000.05	3420725
random/large/ unif-k7-r85-v150-c12750-S1290198737-013-UNKNOWN.cnf	? (TO)	5000.14	5000.34	3420432
random/medium/ unif-k3-r4.26-v650-c2769-S2065143904-035.UNKNOWN.cnf	? (TO)	5000.14	4999.95	3420794
random/medium/ unif-k5-r21.3-v125-c2662-S121099030-067.UNKNOWN.cnf	? (TO)	5000.14	5000.05	3420592
random/medium/ unif-k7-r89-v90-c8010-S423984545-074.UNKNOWN.cnf	? (TO)	5000.14	5000.04	3420768
random/medium/ unif-k5-r21.3-v125-c2662-S1647930270-030.UNKNOWN.cnf	? (TO)	5000.15	5000.05	3420703
random/large/ unif-k7-r85-v250-c21250-S894356234-063-UNKNOWN.cnf	? (TO)	5000.15	5000.24	3420374
random/medium/ unif-k5-r21.3-v150-c3195-S1632870961-099.SATISFIABLE.cnf	? (TO)	5000.15	5000.05	3420708
random/large/ unif-k7-r85-v150-c12750-S1101422472-003-UNKNOWN.cnf	? (TO)	5000.15	5000.04	3420400
random/large/ unif-k5-r20-v1250-c25000-S269694958-008-UNKNOWN.cnf	? (TO)	5000.15	5000.05	3420379
random/medium/ unif-k5-r21.3-v125-c2662-S446351158-079.SATISFIABLE.cnf	? (TO)	5000.15	4999.95	3420633
random/medium/ unif-k5-r21.3-v150-c3195-S207562876-057.UNKNOWN.cnf	? (TO)	5000.15	4999.95	3420497
random/medium/ unif-k3-r4.26-v750-c3195-S1378008329-078.SATISFIABLE.cnf	? (TO)	5000.15	5000.05	3420527
random/large/ unif-k5-r20-v1250-c25000-S1103412232-098-UNKNOWN.cnf	? (TO)	5000.15	5000.05	3420275
random/large/ unif-k5-r20-v1000-c20000-S883282443-030-UNKNOWN.cnf	? (TO)	5000.15	4999.95	3420258

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

Result page for solver march_rw 2011-03-02 (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]