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

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
random/medium/ unif-k3-r4.26-v400-c1704-S1440346932-010.SATISFIABLE.cnf	SAT	0.004998	0.00633005	3206333
random/medium/ unif-k3-r4.26-v600-c2556-S735137557-045.SATISFIABLE.cnf	SAT	0.005998	0.00633404	3206145
random/medium/ unif-k3-r4.26-v450-c1917-S1915396418-078.SATISFIABLE.cnf	SAT	0.005998	0.00664211	3205445
random/medium/ unif-k3-r4.26-v350-c1491-S946474812-075.SATISFIABLE.cnf	SAT	0.005999	0.00714088	3205841
random/medium/ unif-k3-r4.26-v350-c1491-S1794283924-053.SATISFIABLE.cnf	SAT	0.005999	0.00632691	3205877
random/medium/ unif-k3-r4.26-v500-c2130-S9113894-047.SATISFIABLE.cnf	SAT	0.005999	0.010842	3206209
random/medium/ unif-k3-r4.26-v350-c1491-S773607012-011.SATISFIABLE.cnf	SAT	0.006998	0.00800403	3206057
random/medium/ unif-k3-r4.26-v400-c1704-S913455068-085.SATISFIABLE.cnf	SAT	0.006998	0.013791	3206485
random/medium/ unif-k3-r4.26-v450-c1917-S1617626827-069.SATISFIABLE.cnf	SAT	0.007997	0.00799493	3206053
random/medium/ unif-k3-r4.26-v550-c2343-S1610857498-043.SATISFIABLE.cnf	SAT	0.007998	0.01011	3206269
random/medium/ unif-k3-r4.26-v350-c1491-S1077220429-098.SATISFIABLE.cnf	SAT	0.007998	0.00765699	3205813
random/medium/ unif-k3-r4.26-v550-c2343-S1114532273-035.SATISFIABLE.cnf	SAT	0.007998	0.00804192	3205845
random/medium/ unif-k3-r4.26-v350-c1491-S1914191877-004.SATISFIABLE.cnf	SAT	0.008998	0.00991208	3205657
random/medium/ unif-k3-r4.26-v550-c2343-S107514131-038.SATISFIABLE.cnf	SAT	0.009997	0.0100291	3206497
random/medium/ unif-k3-r4.26-v350-c1491-S1946851065-023.SATISFIABLE.cnf	SAT	0.009997	0.00996106	3205097
random/medium/ unif-k3-r4.26-v550-c2343-S927210717-059.SATISFIABLE.cnf	SAT	0.009998	0.0106259	3206069
random/medium/ unif-k3-r4.26-v400-c1704-S1462223811-042.SATISFIABLE.cnf	SAT	0.010997	0.014301	3205601
random/medium/ unif-k3-r4.26-v400-c1704-S1023920765-089.SATISFIABLE.cnf	SAT	0.010998	0.0137031	3206241
random/medium/ unif-k3-r4.26-v600-c2556-S373048162-052.SATISFIABLE.cnf	SAT	0.011998	0.01588	3205309
random/medium/ unif-k3-r4.26-v550-c2343-S874954918-011.SATISFIABLE.cnf	SAT	0.013997	0.0140429	3205385
random/medium/ unif-k3-r4.26-v650-c2769-S1894319588-015.SATISFIABLE.cnf	SAT	0.013997	0.014395	3205401
random/medium/ unif-k3-r4.26-v450-c1917-S1097024859-001.SATISFIABLE.cnf	SAT	0.013997	0.0146101	3206177
random/medium/ unif-k3-r4.26-v350-c1491-S87195105-042.SATISFIABLE.cnf	SAT	0.014996	0.0158569	3206441
random/medium/ unif-k3-r4.26-v500-c2130-S1280860344-022.SATISFIABLE.cnf	SAT	0.014997	0.019893	3206429
random/medium/ unif-k3-r4.26-v500-c2130-S1563258922-027.SATISFIABLE.cnf	SAT	0.016996	0.017304	3205881
random/medium/ unif-k3-r4.26-v600-c2556-S727005963-093.SATISFIABLE.cnf	SAT	0.017996	0.017739	3205917
random/medium/ unif-k3-r4.26-v700-c2982-S171669125-021.SATISFIABLE.cnf	SAT	0.017997	0.0188549	3205777
random/medium/ unif-k3-r4.26-v650-c2769-S1920526651-049.SATISFIABLE.cnf	SAT	0.018996	0.019213	3205577
random/medium/ unif-k3-r4.26-v600-c2556-S252359291-002.SATISFIABLE.cnf	SAT	0.018997	0.0244739	3205829
random/medium/ unif-k3-r4.26-v500-c2130-S31329941-054.SATISFIABLE.cnf	SAT	0.020996	0.021499	3205349
random/medium/ unif-k3-r4.26-v400-c1704-S183128297-005.SATISFIABLE.cnf	SAT	0.020996	0.021735	3205997
random/medium/ unif-k3-r4.26-v400-c1704-S1050579435-065.SATISFIABLE.cnf	SAT	0.023996	0.0245701	3205673
random/medium/ unif-k3-r4.26-v700-c2982-S900569154-026.SATISFIABLE.cnf	SAT	0.024996	0.027199	3205137
random/medium/ unif-k3-r4.26-v450-c1917-S380157195-014.SATISFIABLE.cnf	SAT	0.024996	0.0261589	3205101
random/medium/ unif-k5-r21.3-v75-c1597-S241605246-015.SATISFIABLE.cnf	SAT	0.025995	0.025876	3205933
random/medium/ unif-k3-r4.26-v800-c3408-S91768321-029.SATISFIABLE.cnf	SAT	0.025995	0.025709	3206569
random/medium/ unif-k3-r4.26-v400-c1704-S823305148-084.SATISFIABLE.cnf	SAT	0.025996	0.026632	3205057
random/medium/ unif-k5-r21.3-v75-c1597-S1129651135-081.SATISFIABLE.cnf	SAT	0.026995	0.0270739	3206061
random/medium/ unif-k5-r21.3-v75-c1597-S906725726-060.SATISFIABLE.cnf	SAT	0.027994	0.031862	3206101
random/medium/ unif-k3-r4.26-v350-c1491-S146789605-022.SATISFIABLE.cnf	SAT	0.027995	0.031295	3205473
random/medium/ unif-k5-r21.3-v75-c1597-S1009664450-096.SATISFIABLE.cnf	SAT	0.028995	0.0291249	3206165
random/medium/ unif-k3-r4.26-v700-c2982-S1617172756-030.SATISFIABLE.cnf	SAT	0.030994	0.0333489	3206205
random/medium/ unif-k3-r4.26-v700-c2982-S1744841484-003.SATISFIABLE.cnf	SAT	0.033994	0.034963	3206477
random/medium/ unif-k3-r4.26-v550-c2343-S2058622508-076.SATISFIABLE.cnf	SAT	0.033994	0.0359859	3205669
random/medium/ unif-k3-r4.26-v650-c2769-S1261029273-036.SATISFIABLE.cnf	SAT	0.034993	0.0363249	3206337
random/medium/ unif-k3-r4.26-v650-c2769-S30721646-064.SATISFIABLE.cnf	SAT	0.034993	0.034549	3206045
random/medium/ unif-k5-r21.3-v75-c1597-S25975519-056.SATISFIABLE.cnf	SAT	0.034994	0.035006	3205293
random/medium/ unif-k5-r21.3-v75-c1597-S1214523131-078.SATISFIABLE.cnf	SAT	0.034994	0.0353529	3206305
random/medium/ unif-k5-r21.3-v75-c1597-S1366648725-024.SATISFIABLE.cnf	SAT	0.034994	0.0359539	3205133
random/medium/ unif-k3-r4.26-v750-c3195-S1985868475-070.SATISFIABLE.cnf	SAT	0.036994	0.036854	3205141
random/medium/ unif-k5-r21.3-v100-c2130-S1980330668-030.SATISFIABLE.cnf	SAT	0.038993	0.038817	3206505
random/medium/ unif-k3-r4.26-v550-c2343-S960198064-030.SATISFIABLE.cnf	SAT	0.040992	0.041928	3205685
random/medium/ unif-k3-r4.26-v800-c3408-S1536861174-069.SATISFIABLE.cnf	SAT	0.042992	0.0457561	3205941
random/medium/ unif-k5-r21.3-v125-c2662-S436871389-051.SATISFIABLE.cnf	SAT	0.044993	0.045541	3205217
random/medium/ unif-k5-r21.3-v100-c2130-S328068950-002.SATISFIABLE.cnf	SAT	0.047992	0.0504269	3205713
random/medium/ unif-k3-r4.26-v400-c1704-S1960786523-069.SATISFIABLE.cnf	SAT	0.048991	0.0484661	3205569
random/medium/ unif-k5-r21.3-v75-c1597-S445191369-092.SATISFIABLE.cnf	SAT	0.048992	0.048937	3206161
random/medium/ unif-k3-r4.26-v350-c1491-S1507171828-044.SATISFIABLE.cnf	SAT	0.048992	0.053269	3205889
random/medium/ unif-k3-r4.26-v650-c2769-S466707249-079.SATISFIABLE.cnf	SAT	0.049991	0.054799	3206345
random/medium/ unif-k3-r4.26-v500-c2130-S1263625223-038.SATISFIABLE.cnf	SAT	0.050992	0.0533149	3205017
random/medium/ unif-k3-r4.26-v450-c1917-S2065964480-034.SATISFIABLE.cnf	SAT	0.051991	0.0523199	3205397
random/medium/ unif-k5-r21.3-v125-c2662-S1258495116-025.SATISFIABLE.cnf	SAT	0.052991	0.0532	3205313
random/medium/ unif-k5-r21.3-v125-c2662-S1300400916-048.SATISFIABLE.cnf	SAT	0.05399	0.0549081	3206025
random/medium/ unif-k5-r21.3-v100-c2130-S1574817612-041.SATISFIABLE.cnf	SAT	0.053991	0.056354	3205297
random/medium/ unif-k3-r4.26-v800-c3408-S456969343-019.SATISFIABLE.cnf	SAT	0.05599	0.055834	3205597
random/medium/ unif-k3-r4.26-v800-c3408-S846876765-035.SATISFIABLE.cnf	SAT	0.05599	0.0564681	3206421
random/medium/ unif-k5-r21.3-v100-c2130-S707565158-096.SATISFIABLE.cnf	SAT	0.056991	0.0570149	3205321
random/medium/ unif-k5-r21.3-v100-c2130-S196779284-038.SATISFIABLE.cnf	SAT	0.05899	0.058563	3206313
random/medium/ unif-k3-r4.26-v500-c2130-S840902310-084.SATISFIABLE.cnf	SAT	0.062989	0.0625049	3206361
random/medium/ unif-k3-r4.26-v650-c2769-S4140122-004.SATISFIABLE.cnf	SAT	0.067988	0.0677071	3206197
random/medium/ unif-k3-r4.26-v450-c1917-S2088689288-085.SATISFIABLE.cnf	SAT	0.068988	0.0720411	3206445
random/medium/ unif-k3-r4.26-v550-c2343-S1940049314-069.SATISFIABLE.cnf	SAT	0.070988	0.0716069	3206393
random/medium/ unif-k3-r4.26-v550-c2343-S1552308135-080.SATISFIABLE.cnf	SAT	0.074988	0.0755831	3205909
random/medium/ unif-k3-r4.26-v800-c3408-S1831593686-090.SATISFIABLE.cnf	SAT	0.074988	0.0761949	3205205
random/medium/ unif-k3-r4.26-v600-c2556-S610796494-086.SATISFIABLE.cnf	SAT	0.084986	0.0844559	3206189
random/medium/ unif-k3-r4.26-v750-c3195-S1378008329-078.SATISFIABLE.cnf	SAT	0.085986	0.0864879	3205281
random/medium/ unif-k3-r4.26-v500-c2130-S204737200-067.SATISFIABLE.cnf	SAT	0.086986	0.0877619	3206473
random/medium/ unif-k5-r21.3-v100-c2130-S20037494-023.SATISFIABLE.cnf	SAT	0.088986	0.090086	3205157
random/medium/ unif-k5-r21.3-v175-c3727-S1110880865-004.SATISFIABLE.cnf	SAT	0.090985	0.0919009	3205009
random/medium/ unif-k5-r21.3-v75-c1597-S2038462183-033.SATISFIABLE.cnf	SAT	0.090986	0.091133	3205521
random/medium/ unif-k3-r4.26-v450-c1917-S222128792-011.SATISFIABLE.cnf	SAT	0.091986	0.0939809	3206017
random/medium/ unif-k3-r4.26-v450-c1917-S528475885-007.SATISFIABLE.cnf	SAT	0.093985	0.0987101	3205681
random/medium/ unif-k5-r21.3-v100-c2130-S1189700536-035.SATISFIABLE.cnf	SAT	0.094985	0.098103	3205201
random/medium/ unif-k3-r4.26-v750-c3195-S664770261-061.SATISFIABLE.cnf	SAT	0.097985	0.098786	3205249
random/medium/ unif-k5-r21.3-v125-c2662-S34055288-072.SATISFIABLE.cnf	SAT	0.097985	0.0993401	3205641
random/medium/ unif-k3-r4.26-v800-c3408-S1631205309-024.SATISFIABLE.cnf	SAT	0.108983	0.10937	3205109
random/medium/ unif-k3-r4.26-v350-c1491-S1060672754-058.SATISFIABLE.cnf	SAT	0.112982	0.113812	3205965
random/medium/ unif-k3-r4.26-v450-c1917-S2083898043-071.SATISFIABLE.cnf	SAT	0.120981	0.121759	3206037
random/medium/ unif-k5-r21.3-v150-c3195-S1428216398-076.SATISFIABLE.cnf	SAT	0.12298	0.12284	3205817
random/medium/ unif-k5-r21.3-v150-c3195-S1650617512-037.SATISFIABLE.cnf	SAT	0.12498	0.125009	3206461
random/medium/ unif-k3-r4.26-v750-c3195-S973075635-083.SATISFIABLE.cnf	SAT	0.12598	0.130443	3205393
random/medium/ unif-k3-r4.26-v800-c3408-S902286199-017.SATISFIABLE.cnf	SAT	0.12898	0.129612	3206249
random/medium/ unif-k3-r4.26-v700-c2982-S1863077195-052.SATISFIABLE.cnf	SAT	0.134979	0.135909	3206133
random/medium/ unif-k3-r4.26-v400-c1704-S930506247-025.SATISFIABLE.cnf	SAT	0.137979	0.139178	3205253
random/medium/ unif-k5-r21.3-v150-c3195-S334650851-022.SATISFIABLE.cnf	SAT	0.142978	0.146271	3205173
random/medium/ unif-k3-r4.26-v500-c2130-S481747904-003.SATISFIABLE.cnf	SAT	0.148977	0.150022	3205373
random/medium/ unif-k5-r21.3-v100-c2130-S332580795-055.SATISFIABLE.cnf	SAT	0.149977	0.150205	3206533
random/medium/ unif-k5-r21.3-v125-c2662-S1396350646-062.SATISFIABLE.cnf	SAT	0.151976	0.154117	3206089
random/medium/ unif-k5-r21.3-v75-c1597-S1636883934-028.SATISFIABLE.cnf	SAT	0.156975	0.156855	3205869
random/medium/ unif-k5-r21.3-v125-c2662-S464722883-083.SATISFIABLE.cnf	SAT	0.182971	0.18438	3206021
random/medium/ unif-k5-r21.3-v100-c2130-S1926673460-089.SATISFIABLE.cnf	SAT	0.18897	0.190171	3205369
random/medium/ unif-k3-r4.26-v800-c3408-S890760919-021.SATISFIABLE.cnf	SAT	0.19697	0.197675	3206049
random/large/ unif-k3-r4.2-v2500-c10500-S1300417189-038-UNKNOWN.cnf	SAT	0.200968	0.201708	3204321
random/medium/ unif-k5-r21.3-v100-c2130-S1880411078-058.SATISFIABLE.cnf	SAT	0.200969	0.201603	3205425
random/medium/ unif-k3-r4.26-v750-c3195-S1115406553-014.SATISFIABLE.cnf	SAT	0.207967	0.207994	3206565
random/medium/ unif-k3-r4.26-v450-c1917-S386464511-018.SATISFIABLE.cnf	SAT	0.207968	0.208106	3205905
random/medium/ unif-k3-r4.26-v700-c2982-S812011128-009.SATISFIABLE.cnf	SAT	0.218965	0.224979	3206513
random/medium/ unif-k3-r4.26-v650-c2769-S525571208-063.SATISFIABLE.cnf	SAT	0.220965	0.222101	3205169
random/medium/ unif-k3-r4.26-v550-c2343-S311101868-094.SATISFIABLE.cnf	SAT	0.233963	0.233647	3206141
random/large/ unif-k3-r4.2-v2500-c10500-S89508070-083-UNKNOWN.cnf	SAT	0.249961	0.250078	3204729
random/medium/ unif-k3-r4.26-v500-c2130-S831119356-083.SATISFIABLE.cnf	SAT	0.260959	0.261618	3206237
random/medium/ unif-k3-r4.26-v600-c2556-S379672572-039.SATISFIABLE.cnf	SAT	0.270957	0.27519	3205625
random/large/ unif-k3-r4.2-v2500-c10500-S1907658523-004-UNKNOWN.cnf	SAT	0.326949	0.328932	3204765
random/medium/ unif-k5-r21.3-v125-c2662-S675870149-098.SATISFIABLE.cnf	SAT	0.333949	0.335357	3205737
random/medium/ unif-k5-r21.3-v150-c3195-S1787844685-006.SATISFIABLE.cnf	SAT	0.346947	0.347465	3206493
random/medium/ unif-k3-r4.26-v700-c2982-S628307658-028.SATISFIABLE.cnf	SAT	0.350945	0.352343	3205429
random/medium/ unif-k5-r21.3-v175-c3727-S520872997-084.SATISFIABLE.cnf	SAT	0.367944	0.368279	3205025
random/medium/ unif-k5-r21.3-v175-c3727-S752966552-099.SATISFIABLE.cnf	SAT	0.530918	0.532133	3205409
random/medium/ unif-k5-r21.3-v150-c3195-S1216095115-028.SATISFIABLE.cnf	SAT	0.543916	0.544728	3205581
random/medium/ unif-k3-r4.26-v650-c2769-S1495462442-016.SATISFIABLE.cnf	SAT	0.578911	0.579665	3205049
random/medium/ unif-k7-r89-v50-c4450-S1788358104-029.SATISFIABLE.cnf	SAT	0.619904	0.625961	3206225
random/medium/ unif-k7-r89-v50-c4450-S1430772875-039.SATISFIABLE.cnf	SAT	0.623905	0.62878	3205185
random/medium/ unif-k7-r89-v50-c4450-S768928417-025.SATISFIABLE.cnf	SAT	0.628904	0.630073	3205317
random/medium/ unif-k5-r21.3-v150-c3195-S1579607106-017.SATISFIABLE.cnf	SAT	0.633903	0.637263	3205209
random/medium/ unif-k7-r89-v50-c4450-S675112162-053.SATISFIABLE.cnf	SAT	0.6469	0.646339	3205897
random/medium/ unif-k3-r4.26-v600-c2556-S2019147653-030.SATISFIABLE.cnf	SAT	0.6529	0.659621	3205493
random/medium/ unif-k7-r89-v50-c4450-S1786071619-083.SATISFIABLE.cnf	SAT	0.679896	0.681451	3205689
random/medium/ unif-k7-r89-v50-c4450-S864690872-081.SATISFIABLE.cnf	SAT	0.691894	0.697331	3205773
random/medium/ unif-k7-r89-v50-c4450-S422404201-035.SATISFIABLE.cnf	SAT	0.696894	0.69721	3206309
random/medium/ unif-k7-r89-v50-c4450-S879384975-017.SATISFIABLE.cnf	SAT	0.732888	0.735079	3205469
random/medium/ unif-k7-r89-v60-c5340-S969033069-088.SATISFIABLE.cnf	SAT	0.761884	0.762414	3206501
random/large/ unif-k3-r4.2-v2500-c10500-S722024572-014-UNKNOWN.cnf	SAT	0.783879	0.784023	3204381
random/medium/ unif-k3-r4.26-v400-c1704-S1864619158-076.SATISFIABLE.cnf	SAT	0.793878	0.793961	3205073
random/medium/ unif-k7-r89-v60-c5340-S1583005701-053.SATISFIABLE.cnf	SAT	0.861868	0.864154	3205945
random/medium/ unif-k7-r89-v60-c5340-S385597856-055.SATISFIABLE.cnf	SAT	0.864868	0.866523	3206173
random/medium/ unif-k7-r89-v50-c4450-S1087312438-073.SATISFIABLE.cnf	SAT	0.874866	0.878825	3205453
random/medium/ unif-k3-r4.26-v750-c3195-S2050161601-088.SATISFIABLE.cnf	SAT	0.970851	0.970802	3205585
random/medium/ unif-k7-r89-v70-c6230-S1555786344-071.SATISFIABLE.cnf	SAT	1.00285	1.0071	3205001
random/medium/ unif-k3-r4.26-v750-c3195-S576842028-023.SATISFIABLE.cnf	SAT	1.04484	1.05118	3205701
random/medium/ unif-k3-r4.26-v700-c2982-S115072124-051.SATISFIABLE.cnf	SAT	1.06684	1.06677	3206117
random/medium/ unif-k5-r21.3-v125-c2662-S236776564-037.SATISFIABLE.cnf	SAT	1.07783	1.08037	3206433
random/medium/ unif-k7-r89-v60-c5340-S239039906-021.SATISFIABLE.cnf	SAT	1.16082	1.16059	3205221
random/medium/ unif-k3-r4.26-v700-c2982-S608588601-044.SATISFIABLE.cnf	SAT	1.16882	1.17022	3206077
random/medium/ unif-k7-r89-v80-c7120-S1639347701-083.SATISFIABLE.cnf	SAT	1.19182	1.19225	3205873
random/medium/ unif-k3-r4.26-v600-c2556-S1468528501-076.SATISFIABLE.cnf	SAT	1.22581	1.22543	3205405
random/medium/ unif-k5-r21.3-v150-c3195-S259896945-079.SATISFIABLE.cnf	SAT	1.26381	1.26579	3205613
random/medium/ unif-k5-r21.3-v150-c3195-S1116496771-020.SATISFIABLE.cnf	SAT	1.26981	1.27057	3205273
random/medium/ unif-k7-r89-v50-c4450-S1496316430-079.SATISFIABLE.cnf	SAT	1.27381	1.27344	3206481
random/medium/ unif-k7-r89-v60-c5340-S388186442-035.SATISFIABLE.cnf	SAT	1.3018	1.30193	3206113
random/medium/ unif-k5-r21.3-v175-c3727-S1592669696-022.SATISFIABLE.cnf	SAT	1.3358	1.3358	3205969
random/medium/ unif-k7-r89-v80-c7120-S474185167-033.SATISFIABLE.cnf	SAT	1.35679	1.3576	3205465
random/medium/ unif-k7-r89-v70-c6230-S1321356000-046.SATISFIABLE.cnf	SAT	1.40179	1.4029	3205849
random/medium/ unif-k5-r21.3-v175-c3727-S82160031-050.SATISFIABLE.cnf	SAT	1.43278	1.43417	3205485
random/medium/ unif-k3-r4.26-v750-c3195-S8215859-049.SATISFIABLE.cnf	SAT	1.46878	1.47043	3205013
random/medium/ unif-k7-r89-v60-c5340-S1982873755-080.SATISFIABLE.cnf	SAT	1.53877	1.53931	3205973
random/medium/ unif-k7-r89-v70-c6230-S314780693-050.SATISFIABLE.cnf	SAT	1.56176	1.56257	3206289
random/medium/ unif-k7-r89-v60-c5340-S630613738-050.SATISFIABLE.cnf	SAT	1.64675	1.64718	3206105
random/medium/ unif-k5-r21.3-v125-c2662-S218235649-089.SATISFIABLE.cnf	SAT	1.79473	1.79642	3206397
random/medium/ unif-k7-r89-v70-c6230-S2045410966-069.SATISFIABLE.cnf	SAT	1.88171	1.88107	3206033
random/medium/ unif-k7-r89-v70-c6230-S1018943457-089.SATISFIABLE.cnf	SAT	1.90471	1.90641	3205761
random/medium/ unif-k7-r89-v70-c6230-S944754256-018.SATISFIABLE.cnf	SAT	2.06169	2.06496	3204989
random/medium/ unif-k3-r4.26-v750-c3195-S158767647-027.SATISFIABLE.cnf	SAT	2.06469	2.06506	3205801
random/large/ unif-k3-r4.2-v2500-c10500-S374960214-041-UNKNOWN.cnf	SAT	2.12868	2.1288	3204849
random/medium/ unif-k3-r4.26-v750-c3195-S397702672-080.SATISFIABLE.cnf	SAT	2.13468	2.13471	3206541
random/large/ unif-k3-r4.2-v2500-c10500-S882087907-088-UNKNOWN.cnf	SAT	2.16467	2.16478	3204461
random/medium/ unif-k7-r89-v70-c6230-S1351138814-007.SATISFIABLE.cnf	SAT	2.42563	2.4255	3205557
random/medium/ unif-k5-r21.3-v175-c3727-S110935064-075.SATISFIABLE.cnf	SAT	2.6056	2.60577	3205449
random/medium/ unif-k3-r4.26-v600-c2556-S1383380994-043.SATISFIABLE.cnf	SAT	2.6266	2.62645	3206325
random/medium/ unif-k5-r21.3-v125-c2662-S446351158-079.SATISFIABLE.cnf	SAT	2.66259	2.66213	3205705
random/medium/ unif-k7-r89-v80-c7120-S153059456-076.SATISFIABLE.cnf	SAT	2.68359	2.68481	3205901
random/large/ unif-k3-r4.2-v5000-c21000-S912026804-034-UNKNOWN.cnf	SAT	2.86156	2.86505	3204393
random/medium/ unif-k7-r89-v80-c7120-S513640009-027.SATISFIABLE.cnf	SAT	2.96055	2.96088	3206193
random/large/ unif-k3-r4.2-v5000-c21000-S434028979-077-UNKNOWN.cnf	SAT	2.96855	2.9684	3204481
random/medium/ unif-k5-r21.3-v150-c3195-S1499315720-089.SATISFIABLE.cnf	SAT	2.97455	2.9749	3206093
random/medium/ unif-k7-r89-v90-c8010-S224440242-006.SATISFIABLE.cnf	SAT	3.04853	3.05092	3206449
random/large/ unif-k3-r4.2-v2500-c10500-S924370159-018-UNKNOWN.cnf	SAT	3.60345	3.60697	3204269
random/medium/ unif-k7-r89-v70-c6230-S2143190124-085.SATISFIABLE.cnf	SAT	3.74643	3.74791	3205381
random/medium/ unif-k5-r21.3-v175-c3727-S100095490-071.SATISFIABLE.cnf	SAT	3.9274	3.92785	3205745
random/medium/ unif-k7-r89-v60-c5340-S1141565617-016.SATISFIABLE.cnf	SAT	3.9314	3.9317	3205077
random/medium/ unif-k7-r89-v60-c5340-S1510638717-051.SATISFIABLE.cnf	SAT	3.9604	3.96025	3205921
random/medium/ unif-k7-r89-v90-c8010-S271997978-024.SATISFIABLE.cnf	SAT	4.13337	4.13651	3206217
random/large/ unif-k3-r4.2-v5000-c21000-S936020932-012-UNKNOWN.cnf	SAT	4.17436	4.17531	3204405
random/large/ unif-k3-r4.2-v5000-c21000-S1781430408-009-UNKNOWN.cnf	SAT	4.24535	4.24729	3204873
random/medium/ unif-k7-r89-v90-c8010-S2039249975-038.SATISFIABLE.cnf	SAT	4.37233	4.37392	3206401
random/medium/ unif-k5-r21.3-v175-c3727-S185833400-026.SATISFIABLE.cnf	SAT	4.51231	4.51216	3206125
random/medium/ unif-k7-r89-v90-c8010-S2014736708-037.SATISFIABLE.cnf	SAT	4.5793	4.57994	3205441
random/medium/ unif-k3-r4.26-v700-c2982-S893015585-015.SATISFIABLE.cnf	SAT	4.5883	4.58879	3205977
random/medium/ unif-k7-r89-v70-c6230-S1335110382-066.SATISFIABLE.cnf	SAT	4.6163	4.622	3205717
random/medium/ unif-k7-r89-v80-c7120-S1623694027-006.SATISFIABLE.cnf	SAT	4.92625	4.92658	3205165
random/medium/ unif-k7-r89-v80-c7120-S175431861-098.SATISFIABLE.cnf	SAT	5.21721	5.21806	3205513
random/medium/ unif-k7-r89-v70-c6230-S1846644927-079.SATISFIABLE.cnf	SAT	5.97609	5.97705	3204985
random/medium/ unif-k3-r4.26-v650-c2769-S1069233620-009.SATISFIABLE.cnf	SAT	6.36203	6.36231	3206001
random/medium/ unif-k7-r89-v90-c8010-S501033814-049.SATISFIABLE.cnf	SAT	6.62599	6.62705	3206065
random/medium/ unif-k3-r4.26-v500-c2130-S261841674-082.SATISFIABLE.cnf	SAT	6.65999	6.66127	3205793
random/medium/ unif-k7-r89-v80-c7120-S1957603206-080.SATISFIABLE.cnf	SAT	7.02493	7.03016	3206341
random/medium/ unif-k7-r89-v90-c8010-S231612998-061.SATISFIABLE.cnf	SAT	7.51886	7.51848	3206157
random/medium/ unif-k3-r4.26-v800-c3408-S1534711423-054.SATISFIABLE.cnf	SAT	7.65584	7.65813	3205653
random/large/ unif-k3-r4.2-v2500-c10500-S1201761407-024-UNKNOWN.cnf	SAT	8.65468	8.65483	3204813
random/medium/ unif-k5-r21.3-v175-c3727-S539832832-088.SATISFIABLE.cnf	SAT	8.78666	8.78853	3205333
random/medium/ unif-k3-r4.26-v600-c2556-S2050053883-062.SATISFIABLE.cnf	SAT	9.24959	9.2538	3206081
random/medium/ unif-k7-r89-v80-c7120-S1147977026-087.SATISFIABLE.cnf	SAT	9.46756	9.46929	3204993
random/large/ unif-k5-r20-v1000-c20000-S883282443-030-UNKNOWN.cnf	SAT	10.1725	10.1738	3204205
random/medium/ unif-k3-r4.26-v650-c2769-S1402967451-034.SATISFIABLE.cnf	SAT	11.1983	11.2	3206437
random/large/ unif-k3-r4.2-v2500-c10500-S49783605-066-UNKNOWN.cnf	SAT	11.3733	11.3731	3204753
random/medium/ unif-k7-r89-v90-c8010-S64052796-033.SATISFIABLE.cnf	SAT	11.3883	11.3883	3205505
random/large/ unif-k3-r4.2-v10000-c42000-S963265686-085-UNKNOWN.cnf	SAT	12.0612	12.0608	3204577
random/medium/ unif-k7-r89-v80-c7120-S1254315629-032.SATISFIABLE.cnf	SAT	12.1172	12.1405	3205589
random/large/ unif-k3-r4.2-v5000-c21000-S72547786-008-UNKNOWN.cnf	SAT	12.1901	12.1901	3204529
random/large/ unif-k3-r4.2-v5000-c21000-S720914503-051-UNKNOWN.cnf	SAT	12.963	12.9637	3204661
random/medium/ unif-k7-r89-v90-c8010-S51928934-076.SATISFIABLE.cnf	SAT	15.2647	15.266	3206121
random/medium/ unif-k7-r89-v60-c5340-S1458986015-022.SATISFIABLE.cnf	SAT	15.3357	15.3358	3205617
random/large/ unif-k3-r4.2-v10000-c42000-S677627694-051-UNKNOWN.cnf	SAT	17.1444	17.1503	3204889
random/large/ unif-k3-r4.2-v5000-c21000-S425619685-036-UNKNOWN.cnf	SAT	24.0333	24.0472	3204429
random/medium/ unif-k7-r89-v80-c7120-S1801179747-047.SATISFIABLE.cnf	SAT	25.3941	25.3958	3205853
random/medium/ unif-k3-r4.26-v800-c3408-S852188518-088.SATISFIABLE.cnf	SAT	25.9501	25.9493	3205037
random/large/ unif-k3-r4.2-v10000-c42000-S903594090-011-UNKNOWN.cnf	SAT	31.5082	31.5086	3204525
random/large/ unif-k3-r4.2-v5000-c21000-S901912629-090-UNKNOWN.cnf	SAT	34.8987	34.8997	3204861
random/large/ unif-k3-r4.2-v10000-c42000-S338979727-056-UNKNOWN.cnf	SAT	35.5786	35.5774	3204289
random/large/ unif-k5-r20-v750-c15000-S957625236-045-UNKNOWN.cnf	SAT	39.9019	39.9031	3204201
random/large/ unif-k7-r85-v150-c12750-S511186849-048-UNKNOWN.cnf	SAT	61.0507	61.0494	3204781
random/medium/ unif-k7-r89-v90-c8010-S661190852-039.SATISFIABLE.cnf	SAT	62.5835	62.5852	3205105
random/large/ unif-k5-r20-v1000-c20000-S72635791-098-UNKNOWN.cnf	SAT	64.7981	64.7984	3204357
random/large/ unif-k5-r20-v1000-c20000-S1950850246-038-UNKNOWN.cnf	SAT	64.8101	64.8104	3204517
random/large/ unif-k5-r20-v750-c15000-S656533785-100-UNKNOWN.cnf	SAT	67.1568	67.1568	3204797
random/large/ unif-k3-r4.2-v10000-c42000-S360796849-068-UNKNOWN.cnf	SAT	74.9976	74.9967	3204181
random/large/ unif-k5-r20-v750-c15000-S440979335-036-UNKNOWN.cnf	SAT	80.7167	80.7151	3204493
random/medium/ unif-k5-r21.3-v150-c3195-S1632870961-099.SATISFIABLE.cnf	SAT	80.8577	80.8586	3206005
random/medium/ unif-k5-r21.3-v175-c3727-S1126657927-015.SATISFIABLE.cnf	SAT	85.9929	85.9934	3206417
random/large/ unif-k3-r4.2-v10000-c42000-S977705304-066-UNKNOWN.cnf	SAT	88.5795	88.6843	3204361
random/large/ unif-k3-r4.2-v15000-c63000-S38529837-091-UNKNOWN.cnf	SAT	90.0373	90.0348	3204501
random/large/ unif-k3-r4.2-v10000-c42000-S1256256213-053-UNKNOWN.cnf	SAT	96.1884	96.1876	3204185
random/large/ unif-k3-r4.2-v5000-c21000-S1157767653-025-UNKNOWN.cnf	SAT	97.2672	97.2796	3204377
random/medium/ unif-k7-r89-v80-c7120-S2107193201-069.UNKNOWN.cnf	SAT	99.0419	99.0394	3205413
random/medium/ unif-k7-r89-v90-c8010-S1828831772-021.SATISFIABLE.cnf	SAT	104.359	104.358	3205353
random/large/ unif-k5-r20-v1250-c25000-S540595895-046-UNKNOWN.cnf	SAT	113.386	113.398	3204725
random/large/ unif-k3-r4.2-v20000-c84000-S1204913987-029-UNKNOWN.cnf	SAT	126.913	126.921	3204237
random/large/ unif-k3-r4.2-v20000-c84000-S525505471-054-UNKNOWN.cnf	SAT	138.748	138.748	3204561
random/large/ unif-k7-r85-v150-c12750-S789865458-092-UNKNOWN.cnf	SAT	143.178	143.176	3204457
random/large/ unif-k3-r4.2-v15000-c63000-S89201333-019-UNKNOWN.cnf	SAT	146.481	146.481	3204637
random/large/ unif-k5-r20-v750-c15000-S1787347746-067-UNKNOWN.cnf	SAT	151.212	151.209	3204641
random/large/ unif-k5-r20-v750-c15000-S131912631-041-UNKNOWN.cnf	SAT	167.373	167.373	3204565
random/large/ unif-k5-r20-v1250-c25000-S313445894-099-UNKNOWN.cnf	SAT	178.392	178.391	3204965
random/large/ unif-k5-r20-v1000-c20000-S941604910-059-UNKNOWN.cnf	SAT	190.45	190.446	3204245
random/large/ unif-k5-r20-v750-c15000-S1207160791-083-UNKNOWN.cnf	SAT	198.949	198.946	3204673
random/large/ unif-k3-r4.2-v25000-c105000-S808762165-030-UNKNOWN.cnf	SAT	204.01	204.006	3204949
random/large/ unif-k3-r4.2-v15000-c63000-S43885340-006-UNKNOWN.cnf	SAT	216.273	216.269	3204885
random/large/ unif-k3-r4.2-v15000-c63000-S1386494586-003-UNKNOWN.cnf	SAT	227.986	227.979	3204621
random/large/ unif-k5-r20-v1000-c20000-S541740666-063-UNKNOWN.cnf	SAT	229.764	229.758	3204301
random/large/ unif-k5-r20-v1250-c25000-S936047914-093-UNKNOWN.cnf	SAT	236.212	236.34	3204573
random/large/ unif-k3-r4.2-v25000-c105000-S919014656-003-UNKNOWN.cnf	SAT	253.567	253.563	3204973
random/large/ unif-k5-r20-v750-c15000-S888530894-020-UNKNOWN.cnf	SAT	254.016	254.011	3204649
random/large/ unif-k7-r85-v150-c12750-S1290198737-013-UNKNOWN.cnf	SAT	254.639	254.636	3204901
random/large/ unif-k3-r4.2-v15000-c63000-S1868678442-026-UNKNOWN.cnf	SAT	257.81	257.805	3204209
random/large/ unif-k3-r4.2-v20000-c84000-S840292785-048-UNKNOWN.cnf	SAT	268.783	268.781	3204757
random/large/ unif-k3-r4.2-v15000-c63000-S980027332-029-UNKNOWN.cnf	SAT	271.166	271.161	3204553
random/large/ unif-k5-r20-v750-c15000-S64285713-004-UNKNOWN.cnf	SAT	281.892	281.89	3204701
random/large/ unif-k3-r4.2-v20000-c84000-S921718479-079-UNKNOWN.cnf	SAT	294.642	294.634	3204513
random/large/ unif-k3-r4.2-v20000-c84000-S493397373-056-UNKNOWN.cnf	SAT	309.398	309.39	3204581
random/large/ unif-k3-r4.2-v30000-c126000-S629207485-001-UNKNOWN.cnf	SAT	320.007	320.007	3204345
random/large/ unif-k3-r4.2-v2500-c10500-S705365444-036-UNKNOWN.cnf	SAT	335.973	335.966	3204613
random/large/ unif-k7-r85-v150-c12750-S1737989193-079-UNKNOWN.cnf	SAT	347.955	347.947	3204825
random/large/ unif-k3-r4.2-v10000-c42000-S1778317451-042-UNKNOWN.cnf	SAT	366.378	366.37	3204933
random/large/ unif-k5-r20-v750-c15000-S976181807-056-UNKNOWN.cnf	SAT	374.676	374.668	3204913
random/large/ unif-k3-r4.2-v20000-c84000-S878494004-057-UNKNOWN.cnf	SAT	391.914	391.901	3204905
random/large/ unif-k3-r4.2-v15000-c63000-S976131144-051-UNKNOWN.cnf	SAT	401.232	401.226	3204449
random/large/ unif-k7-r85-v150-c12750-S1101422472-003-UNKNOWN.cnf	SAT	426.241	426.23	3204773
random/large/ unif-k3-r4.2-v10000-c42000-S709804505-031-UNKNOWN.cnf	SAT	486.372	486.361	3204341
random/large/ unif-k7-r85-v150-c12750-S541704841-072-UNKNOWN.cnf	SAT	493.332	493.322	3204221
random/large/ unif-k3-r4.2-v5000-c21000-S1259410977-065-UNKNOWN.cnf	SAT	514.34	514.329	3204733
random/large/ unif-k5-r20-v1000-c20000-S945664020-055-UNKNOWN.cnf	SAT	540.827	540.818	3204545
random/large/ unif-k3-r4.2-v30000-c126000-S643238994-057-UNKNOWN.cnf	SAT	592.787	592.807	3204785
random/large/ unif-k3-r4.2-v30000-c126000-S926207202-053-UNKNOWN.cnf	SAT	605.55	605.537	3204793
random/large/ unif-k5-r20-v1000-c20000-S107009952-009-UNKNOWN.cnf	SAT	609.378	609.361	3204177
random/large/ unif-k3-r4.2-v25000-c105000-S1233052734-067-UNKNOWN.cnf	SAT	623.372	623.371	3204233
random/large/ unif-k3-r4.2-v40000-c168000-S64788608-008-UNKNOWN.cnf	SAT	648.567	648.553	3204633
random/large/ unif-k3-r4.2-v10000-c42000-S1091905403-047-UNKNOWN.cnf	SAT	674.961	674.993	3204869
random/large/ unif-k3-r4.2-v20000-c84000-S357264423-067-UNKNOWN.cnf	SAT	689.169	689.164	3204549
random/large/ unif-k3-r4.2-v25000-c105000-S269939581-066-UNKNOWN.cnf	SAT	694.106	694.11	3204789
random/large/ unif-k7-r85-v150-c12750-S313239685-087-UNKNOWN.cnf	SAT	713.433	713.416	3204297
random/large/ unif-k7-r85-v150-c12750-S367425675-085-UNKNOWN.cnf	SAT	751.099	751.16	3204693
random/large/ unif-k3-r4.2-v30000-c126000-S285324961-078-UNKNOWN.cnf	SAT	764.207	764.196	3204769
random/large/ unif-k3-r4.2-v40000-c168000-S709305826-098-UNKNOWN.cnf	SAT	764.582	764.56	3204445
random/large/ unif-k3-r4.2-v35000-c147000-S1886449473-022-UNKNOWN.cnf	SAT	811.442	811.422	3204653
random/large/ unif-k5-r20-v1000-c20000-S698025027-034-UNKNOWN.cnf	SAT	813.973	813.952	3204829
random/large/ unif-k3-r4.2-v35000-c147000-S1268831169-016-UNKNOWN.cnf	SAT	827.024	827.006	3204777
random/large/ unif-k7-r85-v200-c17000-S335550727-070-UNKNOWN.cnf	SAT	836.998	836.979	3204697
random/large/ unif-k5-r20-v1000-c20000-S519298227-080-UNKNOWN.cnf	SAT	904.838	904.807	3204925
random/large/ unif-k3-r4.2-v15000-c63000-S1201608256-021-UNKNOWN.cnf	SAT	1002.7	1002.7	3204433
random/large/ unif-k7-r85-v200-c17000-S771170845-016-UNKNOWN.cnf	SAT	1010.09	1010.06	3204537
random/large/ unif-k3-r4.2-v20000-c84000-S313385224-076-UNKNOWN.cnf	SAT	1043.74	1043.71	3204657
random/large/ unif-k5-r20-v1250-c25000-S1103412232-098-UNKNOWN.cnf	SAT	1105.03	1105	3204273
random/large/ unif-k3-r4.2-v20000-c84000-S1778371838-017-UNKNOWN.cnf	SAT	1141.92	1141.89	3204325
random/large/ unif-k3-r4.2-v35000-c147000-S1098107876-060-UNKNOWN.cnf	SAT	1212.46	1212.42	3204265
random/large/ unif-k5-r20-v750-c15000-S3662714-068-UNKNOWN.cnf	SAT	1282.49	1282.45	3204213

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
random/large/ unif-k7-r85-v400-c34000-S927774663-037-UNKNOWN.cnf	? (TO)	1298.9	1300.01	3204569
random/large/ unif-k7-r85-v200-c17000-S283489555-036-UNKNOWN.cnf	? (TO)	1299.23	1300.01	3204437
random/large/ unif-k3-r4.2-v50000-c210000-S1969540674-065-UNKNOWN.cnf	? (TO)	1299.3	1300.01	3204249
random/large/ unif-k5-r20-v1500-c30000-S877088425-001-UNKNOWN.cnf	? (TO)	1299.6	1300.01	3204257
random/medium/ unif-k3-r4.26-v450-c1917-S1008065350-031.UNKNOWN.cnf	? (TO)	1299.73	1300.01	3205193
random/medium/ unif-k5-r21.3-v50-c1065-S1139883571-082.UNKNOWN.cnf	? (TO)	1299.9	1300.01	3206369
random/medium/ unif-k5-r21.3-v150-c3195-S788239782-034.UNKNOWN.cnf	? (TO)	1299.94	1300.01	3206221
random/medium/ unif-k7-r89-v80-c7120-S839353433-100.UNKNOWN.cnf	? (TO)	1299.95	1300.01	3205593
random/medium/ unif-k3-r4.26-v550-c2343-S943066845-088.UNKNOWN.cnf	? (TO)	1299.95	1300.01	3205285
random/large/ unif-k7-r85-v250-c21250-S655589261-059-UNKNOWN.cnf	? (TO)	1299.97	1300.01	3204509
random/large/ unif-k5-r20-v1250-c25000-S1688530456-019-UNKNOWN.cnf	? (TO)	1299.97	1300.01	3204277
random/medium/ unif-k3-r4.26-v500-c2130-S1514125851-037.UNKNOWN.cnf	? (TO)	1299.97	1300.01	3205149
random/medium/ unif-k3-r4.26-v600-c2556-S1339958817-007.UNKNOWN.cnf	? (TO)	1299.98	1300.01	3205957
random/large/ unif-k3-r4.2-v50000-c210000-S758437099-099-UNKNOWN.cnf	? (TO)	1299.98	1300.01	3204585
random/medium/ unif-k5-r21.3-v150-c3195-S1502652578-043.UNKNOWN.cnf	? (TO)	1299.98	1300.01	3205709
random/medium/ unif-k5-r21.3-v75-c1597-S60874767-043.UNKNOWN.cnf	? (TO)	1299.98	1300.01	3205545
random/medium/ unif-k3-r4.26-v450-c1917-S1879031150-062.UNKNOWN.cnf	? (TO)	1299.98	1300.01	3206229
random/medium/ unif-k7-r89-v60-c5340-S1831136826-075.UNKNOWN.cnf	? (TO)	1299.98	1300.01	3206373
random/large/ unif-k7-r85-v250-c21250-S58287803-001-UNKNOWN.cnf	? (TO)	1299.99	1300.01	3204921
random/medium/ unif-k7-r89-v70-c6230-S1780733482-097.UNKNOWN.cnf	? (TO)	1299.99	1300.01	3205305
random/large/ unif-k5-r20-v1500-c30000-S1305346115-067-UNKNOWN.cnf	? (TO)	1299.99	1300.01	3204897
random/medium/ unif-k3-r4.26-v350-c1491-S804294807-063.UNKNOWN.cnf	? (TO)	1300	1300.01	3206153
random/large/ unif-k7-r85-v250-c21250-S1116436500-050-UNKNOWN.cnf	? (TO)	1300	1300.01	3204941
random/medium/ unif-k7-r89-v70-c6230-S1960545292-083.UNKNOWN.cnf	? (TO)	1300	1300.01	3206377
random/medium/ unif-k7-r89-v60-c5340-S2117313371-002.UNKNOWN.cnf	? (TO)	1300	1300.01	3206521
random/large/ unif-k3-r4.2-v50000-c210000-S746725327-020-UNKNOWN.cnf	? (TO)	1300	1300.01	3204473
random/large/ unif-k5-r20-v1250-c25000-S871131876-087-UNKNOWN.cnf	? (TO)	1300	1300.01	3204961
random/medium/ unif-k3-r4.26-v350-c1491-S1090604743-089.UNKNOWN.cnf	? (TO)	1300.01	1300.01	3206457
random/large/ unif-k7-r85-v250-c21250-S1274193329-021-UNKNOWN.cnf	? (TO)	1300.01	1300.01	3204833
random/medium/ unif-k5-r21.3-v100-c2130-S1760258375-046.UNKNOWN.cnf	? (TO)	1300.01	1300.01	3205337
random/medium/ unif-k3-r4.26-v450-c1917-S794554332-033.UNKNOWN.cnf	? (TO)	1300.01	1300.01	3205749
random/large/ unif-k5-r20-v1000-c20000-S1351005860-011-UNKNOWN.cnf	? (TO)	1300.02	1300.01	3204917
random/large/ unif-k3-r4.2-v35000-c147000-S883457431-033-UNKNOWN.cnf	? (TO)	1300.02	1300.01	3204197
random/medium/ unif-k7-r89-v90-c8010-S741717046-057.UNKNOWN.cnf	? (TO)	1300.02	1300.01	3206293
random/medium/ unif-k7-r89-v70-c6230-S560963242-048.UNKNOWN.cnf	? (TO)	1300.02	1300.01	3206573
random/medium/ unif-k5-r21.3-v75-c1597-S1825761395-059.UNKNOWN.cnf	? (TO)	1300.02	1300.01	3206489
random/medium/ unif-k3-r4.26-v650-c2769-S1631976568-086.UNKNOWN.cnf	? (TO)	1300.02	1300.01	3206469
random/medium/ unif-k3-r4.26-v500-c2130-S670753028-051.UNKNOWN.cnf	? (TO)	1300.02	1300.01	3206465
random/medium/ unif-k3-r4.26-v400-c1704-S895193371-061.UNKNOWN.cnf	? (TO)	1300.03	1300.01	3205805
random/large/ unif-k5-r20-v1500-c30000-S1180959030-088-UNKNOWN.cnf	? (TO)	1300.03	1300.01	3204741
random/medium/ unif-k5-r21.3-v50-c1065-S433637520-048.UNKNOWN.cnf	? (TO)	1300.03	1300.01	3205089
random/large/ unif-k7-r85-v400-c34000-S1897807474-073-UNKNOWN.cnf	? (TO)	1300.03	1300.01	3204373
random/large/ unif-k7-r85-v250-c21250-S977260632-016-UNKNOWN.cnf	? (TO)	1300.03	1300.01	3204945
random/medium/ unif-k3-r4.26-v250-c1065-S1397126856-076.UNKNOWN.cnf	? (TO)	1300.03	1300.01	3206213
random/medium/ unif-k3-r4.26-v350-c1491-S648064606-012.UNKNOWN.cnf	? (TO)	1300.03	1300.01	3205265
random/large/ unif-k7-r85-v150-c12750-S93401285-051-UNKNOWN.cnf	? (TO)	1300.03	1300.01	3204189
random/large/ unif-k3-r4.2-v35000-c147000-S419010076-063-UNKNOWN.cnf	? (TO)	1300.03	1300.01	3204241
random/medium/ unif-k3-r4.26-v300-c1278-S1223020224-097.UNKNOWN.cnf	? (TO)	1300.03	1300.01	3205757
random/medium/ unif-k3-r4.26-v250-c1065-S266251785-083.UNKNOWN.cnf	? (TO)	1300.03	1300.01	3206233
random/large/ unif-k7-r85-v200-c17000-S1348818483-020-UNKNOWN.cnf	? (TO)	1300.03	1300.01	3204421
random/medium/ unif-k5-r21.3-v125-c2662-S1224290751-070.UNKNOWN.cnf	? (TO)	1300.03	1300.01	3205277
random/medium/ unif-k7-r89-v50-c4450-S708803296-021.UNKNOWN.cnf	? (TO)	1300.03	1300.01	3206537
random/medium/ unif-k5-r21.3-v75-c1597-S1431779634-058.UNKNOWN.cnf	? (TO)	1300.03	1300.01	3206517
random/large/ unif-k7-r85-v200-c17000-S181603592-089-UNKNOWN.cnf	? (TO)	1300.03	1300.01	3204313
random/medium/ unif-k7-r89-v90-c8010-S1897189325-062.UNKNOWN.cnf	? (TO)	1300.03	1300.01	3206381
random/large/ unif-k7-r85-v200-c17000-S970203146-047-UNKNOWN.cnf	? (TO)	1300.03	1300.01	3204717
random/medium/ unif-k5-r21.3-v100-c2130-S1465579926-097.UNKNOWN.cnf	? (TO)	1300.03	1300.01	3205565
random/medium/ unif-k7-r89-v50-c4450-S1082084494-034.UNKNOWN.cnf	? (TO)	1300.03	1300.01	3205561
random/medium/ unif-k5-r21.3-v125-c2662-S1647930270-030.UNKNOWN.cnf	? (TO)	1300.03	1300.01	3205985
random/medium/ unif-k3-r4.26-v550-c2343-S1163259790-073.UNKNOWN.cnf	? (TO)	1300.03	1300.01	3205245
random/medium/ unif-k5-r21.3-v50-c1065-S827703138-064.UNKNOWN.cnf	? (TO)	1300.03	1300.01	3205365
random/medium/ unif-k7-r89-v90-c8010-S1321406709-042.UNKNOWN.cnf	? (TO)	1300.03	1300.01	3206009
random/large/ unif-k7-r85-v200-c17000-S1227169170-092-UNKNOWN.cnf	? (TO)	1300.03	1300.01	3204485
random/medium/ unif-k3-r4.26-v300-c1278-S768688898-014.UNKNOWN.cnf	? (TO)	1300.03	1300.01	3205045
random/medium/ unif-k3-r4.26-v650-c2769-S1298256564-085.UNKNOWN.cnf	? (TO)	1300.03	1300.01	3205041
random/large/ unif-k7-r85-v400-c34000-S536077088-015-UNKNOWN.cnf	? (TO)	1300.03	1300.01	3204817
random/medium/ unif-k7-r89-v80-c7120-S1968028041-077.UNKNOWN.cnf	? (TO)	1300.03	1300.01	3206509
random/medium/ unif-k3-r4.26-v650-c2769-S510739670-068.UNKNOWN.cnf	? (TO)	1300.03	1300.01	3205989
random/medium/ unif-k3-r4.26-v500-c2130-S1762880211-075.UNKNOWN.cnf	? (TO)	1300.03	1300.01	3205005
random/medium/ unif-k3-r4.26-v450-c1917-S1406921020-013.UNKNOWN.cnf	? (TO)	1300.03	1300.01	3205697
random/medium/ unif-k3-r4.26-v550-c2343-S1693168158-005.UNKNOWN.cnf	? (TO)	1300.03	1300.01	3206385
random/medium/ unif-k3-r4.26-v650-c2769-S1235135694-059.UNKNOWN.cnf	? (TO)	1300.03	1300.01	3205677
random/medium/ unif-k3-r4.26-v550-c2343-S591042619-090.UNKNOWN.cnf	? (TO)	1300.03	1300.01	3206561
random/medium/ unif-k7-r89-v70-c6230-S1805176884-064.UNKNOWN.cnf	? (TO)	1300.03	1300.01	3205113
random/medium/ unif-k3-r4.26-v500-c2130-S1085677759-100.UNKNOWN.cnf	? (TO)	1300.03	1300.01	3205417
random/medium/ unif-k5-r21.3-v125-c2662-S118521533-021.UNKNOWN.cnf	? (TO)	1300.03	1300.01	3206557
random/medium/ unif-k7-r89-v70-c6230-S1475900283-041.UNKNOWN.cnf	? (TO)	1300.03	1300.01	3205433
random/large/ unif-k7-r85-v400-c34000-S832901479-042-UNKNOWN.cnf	? (TO)	1300.03	1300.01	3204217
random/medium/ unif-k5-r21.3-v75-c1597-S1750722942-074.UNKNOWN.cnf	? (TO)	1300.03	1300.01	3206425
random/medium/ unif-k5-r21.3-v100-c2130-S815408325-054.UNKNOWN.cnf	? (TO)	1300.03	1300.01	3206453
random/medium/ unif-k5-r21.3-v100-c2130-S1059781282-048.UNKNOWN.cnf	? (TO)	1300.03	1300.01	3205501
random/medium/ unif-k3-r4.26-v400-c1704-S690749326-001.UNKNOWN.cnf	? (TO)	1300.03	1300.01	3206137
random/medium/ unif-k3-r4.26-v450-c1917-S1959079526-027.UNKNOWN.cnf	? (TO)	1300.03	1300.01	3206529
random/medium/ unif-k3-r4.26-v600-c2556-S1677156340-036.UNKNOWN.cnf	? (TO)	1300.03	1300.01	3205865
random/medium/ unif-k5-r21.3-v75-c1597-S602837755-005.UNKNOWN.cnf	? (TO)	1300.03	1300.01	3205181
random/medium/ unif-k3-r4.26-v350-c1491-S797651048-056.UNKNOWN.cnf	? (TO)	1300.03	1300.01	3205861
random/large/ unif-k7-r85-v300-c25500-S1859210562-077-UNKNOWN.cnf	? (TO)	1300.03	1300.01	3204877
random/medium/ unif-k5-r21.3-v150-c3195-S1653142431-025.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3205269
random/medium/ unif-k3-r4.26-v650-c2769-S2065143904-035.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3206349
random/medium/ unif-k3-r4.26-v250-c1065-S860541986-078.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3205257
random/medium/ unif-k5-r21.3-v100-c2130-S1336161514-068.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3205821
random/medium/ unif-k3-r4.26-v600-c2556-S1245124682-071.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3205237
random/large/ unif-k3-r4.2-v40000-c168000-S907804052-003-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3204881
random/medium/ unif-k3-r4.26-v700-c2982-S899463426-096.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3205225
random/medium/ unif-k5-r21.3-v75-c1597-S1227489160-001.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3205213
random/medium/ unif-k3-r4.26-v400-c1704-S1081907273-083.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3205189
random/medium/ unif-k3-r4.26-v600-c2556-S1734827769-099.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3205177
random/medium/ unif-k3-r4.26-v500-c2130-S2061684506-048.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3206301
random/medium/ unif-k3-r4.26-v300-c1278-S1569819208-064.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3205153
random/medium/ unif-k7-r89-v80-c7120-S1901567697-013.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3205093
random/medium/ unif-k3-r4.26-v500-c2130-S1094982880-055.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3205085
random/medium/ unif-k3-r4.26-v700-c2982-S1565617179-002.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3205081
random/medium/ unif-k7-r89-v50-c4450-S1027567260-047.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3205069
random/medium/ unif-k7-r89-v60-c5340-S113771637-026.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3206297
random/medium/ unif-k3-r4.26-v250-c1065-S931339469-052.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3205061
random/medium/ unif-k3-r4.26-v700-c2982-S1800377425-032.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3205661
random/medium/ unif-k3-r4.26-v450-c1917-S16302531-099.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3206285
random/medium/ unif-k5-r21.3-v50-c1065-S1491756361-004.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3205629
random/medium/ unif-k7-r89-v90-c8010-S2127424322-078.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3205621
random/medium/ unif-k3-r4.26-v550-c2343-S816372663-049.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3205609
random/medium/ unif-k7-r89-v50-c4450-S324945930-048.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3206281
random/medium/ unif-k7-r89-v70-c6230-S635440951-015.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3205437
random/medium/ unif-k5-r21.3-v125-c2662-S121099030-067.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3205541
random/medium/ unif-k7-r89-v70-c6230-S1516725086-012.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3205053
random/medium/ unif-k3-r4.26-v300-c1278-S1452052526-056.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3205233
random/medium/ unif-k7-r89-v80-c7120-S1494985128-003.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3205029
random/medium/ unif-k5-r21.3-v125-c2662-S2092454698-027.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3206257
random/medium/ unif-k7-r89-v70-c6230-S250627100-039.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3204997
random/medium/ unif-k3-r4.26-v400-c1704-S785747282-100.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3204981
random/large/ unif-k3-r4.2-v50000-c210000-S964643921-035-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3204969
random/medium/ unif-k7-r89-v90-c8010-S818753762-096.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3204977
random/large/ unif-k5-r20-v2000-c40000-S1264065752-051-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3204685
random/large/ unif-k7-r85-v400-c34000-S1275797759-041-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3204681
random/large/ unif-k3-r4.2-v25000-c105000-S30704505-092-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3204677
random/large/ unif-k7-r85-v250-c21250-S894356234-063-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3204669
random/medium/ unif-k5-r21.3-v150-c3195-S375894551-007.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3205145
random/medium/ unif-k5-r21.3-v150-c3195-S873866006-055.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3205129
random/medium/ unif-k7-r89-v70-c6230-S1254276596-021.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3205125
random/medium/ unif-k5-r21.3-v125-c2662-S396831120-092.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3205121
random/medium/ unif-k3-r4.26-v600-c2556-S248192082-054.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3205117
random/large/ unif-k7-r85-v400-c34000-S943787219-031-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3204645
random/medium/ unif-k3-r4.26-v700-c2982-S1971541934-090.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3205457
random/large/ unif-k5-r20-v1500-c30000-S303265982-092-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3204617
random/large/ unif-k3-r4.2-v50000-c210000-S517749870-003-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3204853
random/large/ unif-k3-r4.2-v30000-c126000-S858279511-076-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3204557
random/large/ unif-k3-r4.2-v35000-c147000-S950666065-093-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3204453
random/large/ unif-k3-r4.2-v25000-c105000-S5267991-057-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3204441
random/large/ unif-k3-r4.2-v35000-c147000-S970100151-015-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3204605
random/large/ unif-k7-r85-v300-c25500-S926861876-013-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3204417
random/large/ unif-k5-r20-v1250-c25000-S573815729-001-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3204413
random/large/ unif-k3-r4.2-v30000-c126000-S1354319962-100-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3204809
random/medium/ unif-k5-r21.3-v50-c1065-S1990278523-047.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3206149
random/large/ unif-k7-r85-v300-c25500-S1158419275-045-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3204761
random/large/ unif-k3-r4.2-v20000-c84000-S1298436766-097-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3204749
random/medium/ unif-k3-r4.26-v600-c2556-S506401817-075.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3206129
random/large/ unif-k7-r85-v400-c34000-S817927155-033-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3204737
random/large/ unif-k3-r4.2-v40000-c168000-S1184456903-078-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3204597
random/large/ unif-k5-r20-v2000-c40000-S1993071608-084-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3204713
random/large/ unif-k5-r20-v2000-c40000-S971556279-001-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3204709
random/large/ unif-k5-r20-v1500-c30000-S969405384-096-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3204609
random/large/ unif-k7-r85-v150-c12750-S896023516-057-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3204409
random/large/ unif-k3-r4.2-v50000-c210000-S874492400-019-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3204497
random/large/ unif-k3-r4.2-v30000-c126000-S913491256-073-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3204397
random/large/ unif-k3-r4.2-v30000-c126000-S1196935200-064-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3204389
random/large/ unif-k3-r4.2-v25000-c105000-S1838224332-006-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3204385
random/large/ unif-k7-r85-v300-c25500-S966156467-066-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3204369
random/large/ unif-k3-r4.2-v50000-c210000-S957916968-041-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3204365
random/large/ unif-k3-r4.2-v50000-c210000-S537193780-078-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3204309
random/large/ unif-k7-r85-v300-c25500-S1286362348-008-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3204349
random/large/ unif-k5-r20-v2000-c40000-S319509287-085-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3204337
random/large/ unif-k7-r85-v300-c25500-S942666749-061-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3204333
random/large/ unif-k3-r4.2-v40000-c168000-S1368340883-085-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3204329
random/large/ unif-k5-r20-v1500-c30000-S1793954886-065-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3204317
random/large/ unif-k3-r4.2-v50000-c210000-S1170024351-015-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3204957
random/medium/ unif-k3-r4.26-v300-c1278-S566093033-041.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3206109
random/large/ unif-k7-r85-v400-c34000-S586055573-067-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3204841
random/large/ unif-k3-r4.2-v40000-c168000-S1920335371-069-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3204837
random/large/ unif-k3-r4.2-v25000-c105000-S533496308-018-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3204541
random/large/ unif-k3-r4.2-v40000-c168000-S895938734-057-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3204293
random/large/ unif-k7-r85-v250-c21250-S317257086-003-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3204489
random/large/ unif-k3-r4.2-v40000-c168000-S471691933-060-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3204477
random/large/ unif-k5-r20-v2000-c40000-S394483079-002-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3204465
random/large/ unif-k5-r20-v2000-c40000-S1143439968-082-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3204253
random/large/ unif-k5-r20-v1500-c30000-S976428817-077-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3204229
random/large/ unif-k7-r85-v250-c21250-S1682211323-009-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3204225
random/large/ unif-k7-r85-v200-c17000-S862393334-098-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3204193
random/medium/ unif-k7-r89-v90-c8010-S1458811765-091.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3206553
random/medium/ unif-k3-r4.26-v350-c1491-S761041117-050.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3206549
random/medium/ unif-k3-r4.26-v600-c2556-S1885965779-049.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3206545
random/medium/ unif-k5-r21.3-v150-c3195-S1847541883-049.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3205949
random/medium/ unif-k3-r4.26-v350-c1491-S1733949620-064.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3205929
random/medium/ unif-k3-r4.26-v650-c2769-S216164582-083.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3206201
random/medium/ unif-k3-r4.26-v600-c2556-S224791863-033.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3205925
random/medium/ unif-k3-r4.26-v550-c2343-S1554089933-067.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3205913
random/medium/ unif-k3-r4.26-v400-c1704-S549184435-037.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3205893
random/medium/ unif-k5-r21.3-v150-c3195-S31505198-038.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3205809
random/medium/ unif-k3-r4.26-v600-c2556-S1720013904-060.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3205797
random/medium/ unif-k5-r21.3-v75-c1597-S428924146-076.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3205789
random/medium/ unif-k7-r89-v60-c5340-S1675230100-032.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3206525
random/medium/ unif-k3-r4.26-v650-c2769-S910125393-002.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3205781
random/medium/ unif-k5-r21.3-v100-c2130-S360859187-040.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3205769
random/medium/ unif-k3-r4.26-v500-c2130-S769368248-036.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3205765
random/medium/ unif-k3-r4.26-v350-c1491-S173446080-001.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3205753
random/medium/ unif-k3-r4.26-v650-c2769-S29470018-050.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3206029
random/medium/ unif-k3-r4.26-v450-c1917-S1573194644-097.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3206013
random/medium/ unif-k7-r89-v50-c4450-S2039518547-066.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3205733
random/medium/ unif-k7-r89-v60-c5340-S1720200795-004.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3205729
random/medium/ unif-k5-r21.3-v75-c1597-S1508981094-051.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3205693
random/medium/ unif-k3-r4.26-v450-c1917-S1910317962-059.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3205537
random/medium/ unif-k3-r4.26-v250-c1065-S534787376-095.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3205529
random/medium/ unif-k7-r89-v60-c5340-S614849838-039.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3205525
random/medium/ unif-k7-r89-v60-c5340-S642174893-006.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3205517
random/medium/ unif-k5-r21.3-v125-c2662-S1061710238-001.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3205509
random/medium/ unif-k3-r4.26-v250-c1065-S1295196126-061.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3205497
random/medium/ unif-k7-r89-v80-c7120-S1980280938-088.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3205477
random/medium/ unif-k7-r89-v60-c5340-S1445862528-059.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3205837
random/medium/ unif-k7-r89-v80-c7120-S1637697223-097.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3205825
random/large/ unif-k3-r4.2-v30000-c126000-S379804333-028-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3204625
random/medium/ unif-k3-r4.26-v550-c2343-S1694067460-072.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3205421
random/medium/ unif-k7-r89-v90-c8010-S775210372-041.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3205389
random/medium/ unif-k7-r89-v60-c5340-S384085843-009.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3205721
random/medium/ unif-k5-r21.3-v150-c3195-S2124915970-046.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3205361
random/medium/ unif-k3-r4.26-v700-c2982-S942849-099.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3205357
random/medium/ unif-k3-r4.26-v400-c1704-S1536900137-053.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3205345
random/medium/ unif-k3-r4.26-v300-c1278-S1194590195-083.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3205341
random/medium/ unif-k3-r4.26-v300-c1278-S862932513-073.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3205649
random/medium/ unif-k3-r4.26-v500-c2130-S1383368897-031.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3205325
random/medium/ unif-k7-r89-v50-c4450-S1034575833-022.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3205633
random/large/ unif-k3-r4.2-v15000-c63000-S594553190-015-UNKNOWN.cnf	? (TO)	1300.05	1300.01	3204857
random/medium/ unif-k5-r21.3-v50-c1065-S370067727-038.UNKNOWN.cnf	? (TO)	1300.05	1300.01	3206365
random/medium/ unif-k7-r89-v50-c4450-S1880985555-004.UNKNOWN.cnf	? (TO)	1300.05	1300.01	3206357
random/medium/ unif-k5-r21.3-v50-c1065-S1054153452-040.UNKNOWN.cnf	? (TO)	1300.05	1300.01	3206353
random/medium/ unif-k3-r4.26-v250-c1065-S1822479556-014.UNKNOWN.cnf	? (TO)	1300.05	1300.01	3206277
random/medium/ unif-k3-r4.26-v400-c1704-S496650424-021.UNKNOWN.cnf	? (TO)	1300.05	1300.01	3206273
random/medium/ unif-k3-r4.26-v550-c2343-S912111154-025.UNKNOWN.cnf	? (TO)	1300.05	1300.01	3206265
random/medium/ unif-k3-r4.26-v400-c1704-S1511266249-002.UNKNOWN.cnf	? (TO)	1300.05	1300.01	3206261
random/medium/ unif-k5-r21.3-v125-c2662-S689381858-022.UNKNOWN.cnf	? (TO)	1300.05	1300.01	3206253
random/medium/ unif-k7-r89-v90-c8010-S423984545-074.UNKNOWN.cnf	? (TO)	1300.05	1300.01	3206245
random/medium/ unif-k3-r4.26-v250-c1065-S671776549-007.UNKNOWN.cnf	? (TO)	1300.05	1300.01	3206185
random/medium/ unif-k5-r21.3-v150-c3195-S1836400953-011.UNKNOWN.cnf	? (TO)	1300.05	1300.01	3206181
random/medium/ unif-k3-r4.26-v500-c2130-S247862791-097.UNKNOWN.cnf	? (TO)	1300.05	1300.01	3206169
random/medium/ unif-k5-r21.3-v50-c1065-S505037856-056.UNKNOWN.cnf	? (TO)	1300.05	1300.01	3206413
random/medium/ unif-k7-r89-v80-c7120-S841042385-099.UNKNOWN.cnf	? (TO)	1300.05	1300.01	3206409
random/medium/ unif-k3-r4.26-v450-c1917-S116041094-082.UNKNOWN.cnf	? (TO)	1300.05	1300.01	3206405
random/medium/ unif-k5-r21.3-v100-c2130-S1741857700-014.UNKNOWN.cnf	? (TO)	1300.05	1300.01	3206389
random/medium/ unif-k3-r4.26-v600-c2556-S869604189-077.UNKNOWN.cnf	? (TO)	1300.05	1300.01	3206097
random/medium/ unif-k3-r4.26-v650-c2769-S944656226-046.UNKNOWN.cnf	? (TO)	1300.05	1300.01	3206085
random/medium/ unif-k3-r4.26-v700-c2982-S157016908-041.UNKNOWN.cnf	? (TO)	1300.05	1300.01	3206073
random/medium/ unif-k3-r4.26-v350-c1491-S1404138730-025.UNKNOWN.cnf	? (TO)	1300.05	1300.01	3205993
random/medium/ unif-k3-r4.26-v250-c1065-S427778075-026.UNKNOWN.cnf	? (TO)	1300.05	1300.01	3205981
random/medium/ unif-k7-r89-v50-c4450-S321945897-005.UNKNOWN.cnf	? (TO)	1300.05	1300.01	3205961
random/medium/ unif-k3-r4.26-v350-c1491-S1705279286-077.UNKNOWN.cnf	? (TO)	1300.05	1300.01	3205953
random/medium/ unif-k3-r4.26-v400-c1704-S1409021001-079.UNKNOWN.cnf	? (TO)	1300.05	1300.01	3205937
random/medium/ unif-k5-r21.3-v125-c2662-S1194239878-049.UNKNOWN.cnf	? (TO)	1300.05	1300.01	3205885
random/medium/ unif-k3-r4.26-v700-c2982-S1230934123-063.UNKNOWN.cnf	? (TO)	1300.05	1300.01	3205785
random/medium/ unif-k7-r89-v70-c6230-S289144908-090.UNKNOWN.cnf	? (TO)	1300.05	1300.01	3205741
random/medium/ unif-k3-r4.26-v500-c2130-S1205196501-095.UNKNOWN.cnf	? (TO)	1300.05	1300.01	3206041
random/medium/ unif-k3-r4.26-v400-c1704-S1635333981-027.UNKNOWN.cnf	? (TO)	1300.05	1300.01	3205725
random/medium/ unif-k3-r4.26-v250-c1065-S984689729-080.UNKNOWN.cnf	? (TO)	1300.05	1300.01	3205533
random/medium/ unif-k3-r4.26-v300-c1278-S1469984978-038.UNKNOWN.cnf	? (TO)	1300.05	1300.01	3205489
random/medium/ unif-k5-r21.3-v75-c1597-S1713710439-035.UNKNOWN.cnf	? (TO)	1300.05	1300.01	3205481
random/medium/ unif-k3-r4.26-v350-c1491-S659703274-054.UNKNOWN.cnf	? (TO)	1300.05	1300.01	3205857
random/medium/ unif-k7-r89-v50-c4450-S1374457799-001.UNKNOWN.cnf	? (TO)	1300.05	1300.01	3205833
random/medium/ unif-k7-r89-v90-c8010-S1475406203-080.UNKNOWN.cnf	? (TO)	1300.05	1300.01	3205461
random/medium/ unif-k3-r4.26-v550-c2343-S720541313-052.UNKNOWN.cnf	? (TO)	1300.05	1300.01	3205377
random/medium/ unif-k3-r4.26-v550-c2343-S1663503036-045.UNKNOWN.cnf	? (TO)	1300.05	1300.01	3205329
random/medium/ unif-k7-r89-v90-c8010-S764895749-094.UNKNOWN.cnf	? (TO)	1300.05	1300.01	3205301
random/medium/ unif-k3-r4.26-v300-c1278-S1869766438-024.UNKNOWN.cnf	? (TO)	1300.05	1300.01	3205261
random/medium/ unif-k5-r21.3-v100-c2130-S2098066936-001.UNKNOWN.cnf	? (TO)	1300.05	1300.01	3205241
random/medium/ unif-k7-r89-v80-c7120-S1818856267-075.UNKNOWN.cnf	? (TO)	1300.05	1300.01	3205229
random/medium/ unif-k3-r4.26-v300-c1278-S1990987164-054.UNKNOWN.cnf	? (TO)	1300.05	1300.01	3205197
random/medium/ unif-k5-r21.3-v150-c3195-S207562876-057.UNKNOWN.cnf	? (TO)	1300.05	1300.01	3205161
random/medium/ unif-k3-r4.26-v450-c1917-S367251957-028.UNKNOWN.cnf	? (TO)	1300.05	1300.01	3205065
random/medium/ unif-k7-r89-v80-c7120-S199880667-010.UNKNOWN.cnf	? (TO)	1300.05	1300.01	3205665
random/medium/ unif-k5-r21.3-v125-c2662-S1397972185-007.UNKNOWN.cnf	? (TO)	1300.05	1300.01	3205645
random/medium/ unif-k3-r4.26-v650-c2769-S960948361-055.UNKNOWN.cnf	? (TO)	1300.05	1300.01	3205637
random/medium/ unif-k5-r21.3-v100-c2130-S206772908-015.UNKNOWN.cnf	? (TO)	1300.05	1300.01	3205605
random/medium/ unif-k5-r21.3-v100-c2130-S2051088205-036.UNKNOWN.cnf	? (TO)	1300.05	1300.01	3205573
random/medium/ unif-k7-r89-v60-c5340-S1556216475-025.UNKNOWN.cnf	? (TO)	1300.05	1300.01	3205553
random/medium/ unif-k7-r89-v50-c4450-S1273410420-036.UNKNOWN.cnf	? (TO)	1300.05	1300.01	3205549
random/medium/ unif-k3-r4.26-v700-c2982-S2036658259-036.UNKNOWN.cnf	? (TO)	1300.05	1300.01	3205033
random/medium/ unif-k3-r4.26-v700-c2982-S826445785-043.UNKNOWN.cnf	? (TO)	1300.05	1300.01	3205021
random/large/ unif-k5-r20-v1250-c25000-S269694958-008-UNKNOWN.cnf	? (TO)	1300.05	1300.01	3204689
random/large/ unif-k7-r85-v300-c25500-S680524168-083-UNKNOWN.cnf	? (TO)	1300.05	1300.01	3204665
random/large/ unif-k5-r20-v2000-c40000-S837431592-027-UNKNOWN.cnf	? (TO)	1300.05	1300.01	3204629
random/large/ unif-k3-r4.2-v35000-c147000-S648642831-094-UNKNOWN.cnf	? (TO)	1300.05	1300.01	3204601
random/large/ unif-k5-r20-v1250-c25000-S1245360321-088-UNKNOWN.cnf	? (TO)	1300.05	1300.01	3204593
random/large/ unif-k7-r85-v300-c25500-S376724493-075-UNKNOWN.cnf	? (TO)	1300.05	1300.01	3204589
random/large/ unif-k3-r4.2-v40000-c168000-S845438593-067-UNKNOWN.cnf	? (TO)	1300.05	1300.01	3204425
random/large/ unif-k7-r85-v200-c17000-S72668411-025-UNKNOWN.cnf	? (TO)	1300.05	1300.01	3204821
random/large/ unif-k7-r85-v300-c25500-S69399346-065-UNKNOWN.cnf	? (TO)	1300.05	1300.01	3204805
random/large/ unif-k7-r85-v250-c21250-S981492757-074-UNKNOWN.cnf	? (TO)	1300.05	1300.01	3204801
random/large/ unif-k7-r85-v400-c34000-S1163171897-095-UNKNOWN.cnf	? (TO)	1300.05	1300.01	3204745
random/large/ unif-k5-r20-v1500-c30000-S377999798-061-UNKNOWN.cnf	? (TO)	1300.05	1300.01	3204721
random/large/ unif-k5-r20-v2000-c40000-S61914820-087-UNKNOWN.cnf	? (TO)	1300.05	1300.01	3204705
random/large/ unif-k5-r20-v1250-c25000-S935783783-069-UNKNOWN.cnf	? (TO)	1300.05	1300.01	3204401
random/large/ unif-k3-r4.2-v30000-c126000-S1854039067-041-UNKNOWN.cnf	? (TO)	1300.05	1300.01	3204353
random/large/ unif-k5-r20-v1500-c30000-S715182559-083-UNKNOWN.cnf	? (TO)	1300.05	1300.01	3204305
random/large/ unif-k7-r85-v250-c21250-S381985918-018-UNKNOWN.cnf	? (TO)	1300.05	1300.01	3204285
random/large/ unif-k5-r20-v2000-c40000-S656892101-075-UNKNOWN.cnf	? (TO)	1300.05	1300.01	3204281
random/large/ unif-k7-r85-v300-c25500-S415002759-031-UNKNOWN.cnf	? (TO)	1300.05	1300.01	3204953
random/large/ unif-k5-r20-v1500-c30000-S64154096-097-UNKNOWN.cnf	? (TO)	1300.05	1300.01	3204937
random/large/ unif-k3-r4.2-v40000-c168000-S386300535-065-UNKNOWN.cnf	? (TO)	1300.05	1300.01	3204845
random/large/ unif-k7-r85-v200-c17000-S949556727-080-UNKNOWN.cnf	? (TO)	1300.05	1300.01	3204533
random/large/ unif-k3-r4.2-v50000-c210000-S1401248878-094-UNKNOWN.cnf	? (TO)	1300.05	1300.01	3204505
random/large/ unif-k3-r4.2-v25000-c105000-S109959541-056-UNKNOWN.cnf	? (TO)	1300.05	1300.01	3204469
random/large/ unif-k3-r4.2-v25000-c105000-S92008434-079-UNKNOWN.cnf	? (TO)	1300.05	1300.01	3204261
random/large/ unif-k3-r4.2-v35000-c147000-S625465881-078-UNKNOWN.cnf	? (TO)	1300.05	1300.01	3204909
random/large/ unif-k3-r4.2-v15000-c63000-S619136916-059-UNKNOWN.cnf	? (TO)	1300.05	1300.01	3204893
random/large/ unif-k5-r20-v2000-c40000-S922811046-076-UNKNOWN.cnf	? (TO)	1300.05	1300.01	3204865
random/medium/ unif-k3-r4.26-v700-c2982-S1124205008-074.UNKNOWN.cnf	? (TO)	1300.06	1300.01	3206321
random/medium/ unif-k5-r21.3-v50-c1065-S1449708927-022.UNKNOWN.cnf	? (TO)	1300.06	1300.01	3206329
random/large/ unif-k3-r4.2-v35000-c147000-S448503257-098-UNKNOWN.cnf	? (TO)	1300.06	1300.01	3204521
random/large/ unif-k7-r85-v400-c34000-S94779963-093-UNKNOWN.cnf	? (TO)	1300.06	1300.01	3204929
random/medium/ unif-k5-r21.3-v75-c1597-S295912653-089.UNKNOWN.cnf	? (TO)	1300.06	1300.01	3205289
random/medium/ unif-k5-r21.3-v50-c1065-S1007919187-045.UNKNOWN.cnf	? (TO)	1300.07	1300.01	3206317

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

Result page for solver SAT09 reference solver: TNM 2009-03-22 (incomplete)

Category "random instances" (RANDOM)

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

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