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-v350-c1491-S1946851065-023.SATISFIABLE.cnf	SAT	0.001999	0.00620307	3205098
random/medium/ unif-k3-r4.26-v450-c1917-S1097024859-001.SATISFIABLE.cnf	SAT	0.002999	0.00631797	3206178
random/medium/ unif-k3-r4.26-v350-c1491-S773607012-011.SATISFIABLE.cnf	SAT	0.002999	0.00599697	3206058
random/medium/ unif-k5-r21.3-v75-c1597-S445191369-092.SATISFIABLE.cnf	SAT	0.002999	0.00705291	3206162
random/medium/ unif-k3-r4.26-v450-c1917-S1915396418-078.SATISFIABLE.cnf	SAT	0.003999	0.00635109	3205446
random/medium/ unif-k3-r4.26-v400-c1704-S1440346932-010.SATISFIABLE.cnf	SAT	0.003999	0.00620811	3206334
random/medium/ unif-k3-r4.26-v500-c2130-S1280860344-022.SATISFIABLE.cnf	SAT	0.003999	0.00620203	3206430
random/medium/ unif-k5-r21.3-v100-c2130-S196779284-038.SATISFIABLE.cnf	SAT	0.003999	0.00630197	3206314
random/medium/ unif-k5-r21.3-v75-c1597-S1214523131-078.SATISFIABLE.cnf	SAT	0.004998	0.006041	3206306
random/medium/ unif-k5-r21.3-v100-c2130-S1574817612-041.SATISFIABLE.cnf	SAT	0.004998	0.00634799	3205298
random/medium/ unif-k5-r21.3-v75-c1597-S25975519-056.SATISFIABLE.cnf	SAT	0.004999	0.00620892	3205294
random/medium/ unif-k3-r4.26-v450-c1917-S1617626827-069.SATISFIABLE.cnf	SAT	0.005998	0.00623489	3206054
random/medium/ unif-k3-r4.26-v550-c2343-S107514131-038.SATISFIABLE.cnf	SAT	0.005999	0.0062871	3206498
random/medium/ unif-k3-r4.26-v350-c1491-S1077220429-098.SATISFIABLE.cnf	SAT	0.005999	0.00627311	3205814
random/medium/ unif-k3-r4.26-v400-c1704-S913455068-085.SATISFIABLE.cnf	SAT	0.006998	0.00767197	3206486
random/medium/ unif-k3-r4.26-v400-c1704-S1462223811-042.SATISFIABLE.cnf	SAT	0.007998	0.00916002	3205602
random/medium/ unif-k5-r21.3-v125-c2662-S1300400916-048.SATISFIABLE.cnf	SAT	0.007998	0.0104179	3206026
random/medium/ unif-k5-r21.3-v75-c1597-S1009664450-096.SATISFIABLE.cnf	SAT	0.007998	0.0112269	3206166
random/medium/ unif-k3-r4.26-v550-c2343-S927210717-059.SATISFIABLE.cnf	SAT	0.007998	0.010394	3206070
random/medium/ unif-k5-r21.3-v75-c1597-S906725726-060.SATISFIABLE.cnf	SAT	0.008997	0.014225	3206102
random/medium/ unif-k5-r21.3-v75-c1597-S1366648725-024.SATISFIABLE.cnf	SAT	0.008997	0.00851296	3205134
random/medium/ unif-k3-r4.26-v350-c1491-S87195105-042.SATISFIABLE.cnf	SAT	0.008998	0.00964395	3206442
random/medium/ unif-k3-r4.26-v350-c1491-S946474812-075.SATISFIABLE.cnf	SAT	0.008998	0.00937108	3205842
random/medium/ unif-k3-r4.26-v600-c2556-S735137557-045.SATISFIABLE.cnf	SAT	0.009997	0.011934	3206146
random/medium/ unif-k3-r4.26-v650-c2769-S1920526651-049.SATISFIABLE.cnf	SAT	0.009998	0.00960504	3205578
random/medium/ unif-k5-r21.3-v75-c1597-S241605246-015.SATISFIABLE.cnf	SAT	0.010998	0.0132201	3205934
random/medium/ unif-k3-r4.26-v550-c2343-S1940049314-069.SATISFIABLE.cnf	SAT	0.010998	0.011763	3206394
random/medium/ unif-k3-r4.26-v600-c2556-S373048162-052.SATISFIABLE.cnf	SAT	0.011997	0.012018	3205310
random/medium/ unif-k5-r21.3-v100-c2130-S1189700536-035.SATISFIABLE.cnf	SAT	0.012997	0.0125929	3205202
random/medium/ unif-k3-r4.26-v550-c2343-S1552308135-080.SATISFIABLE.cnf	SAT	0.012998	0.013338	3205910
random/medium/ unif-k3-r4.26-v550-c2343-S960198064-030.SATISFIABLE.cnf	SAT	0.012998	0.0140589	3205686
random/medium/ unif-k3-r4.26-v550-c2343-S1114532273-035.SATISFIABLE.cnf	SAT	0.013997	0.014395	3205846
random/medium/ unif-k3-r4.26-v400-c1704-S1023920765-089.SATISFIABLE.cnf	SAT	0.014997	0.0151941	3206242
random/medium/ unif-k5-r21.3-v100-c2130-S1926673460-089.SATISFIABLE.cnf	SAT	0.015997	0.0171769	3205370
random/medium/ unif-k3-r4.26-v350-c1491-S1914191877-004.SATISFIABLE.cnf	SAT	0.015997	0.01702	3205658
random/medium/ unif-k3-r4.26-v750-c3195-S1115406553-014.SATISFIABLE.cnf	SAT	0.015997	0.0209461	3206566
random/medium/ unif-k5-r21.3-v75-c1597-S1129651135-081.SATISFIABLE.cnf	SAT	0.015997	0.0175289	3206062
random/medium/ unif-k3-r4.26-v500-c2130-S31329941-054.SATISFIABLE.cnf	SAT	0.018997	0.0194191	3205350
random/medium/ unif-k3-r4.26-v500-c2130-S1563258922-027.SATISFIABLE.cnf	SAT	0.019996	0.0190871	3205882
random/medium/ unif-k3-r4.26-v400-c1704-S183128297-005.SATISFIABLE.cnf	SAT	0.019996	0.0193779	3205998
random/medium/ unif-k3-r4.26-v500-c2130-S9113894-047.SATISFIABLE.cnf	SAT	0.019996	0.0253551	3206210
random/medium/ unif-k5-r21.3-v100-c2130-S1980330668-030.SATISFIABLE.cnf	SAT	0.020995	0.0211729	3206506
random/medium/ unif-k3-r4.26-v700-c2982-S171669125-021.SATISFIABLE.cnf	SAT	0.021996	0.0231269	3205778
random/medium/ unif-k7-r89-v70-c6230-S1555786344-071.SATISFIABLE.cnf	SAT	0.022995	0.0238	3205002
random/medium/ unif-k3-r4.26-v400-c1704-S823305148-084.SATISFIABLE.cnf	SAT	0.022996	0.024259	3205058
random/medium/ unif-k5-r21.3-v100-c2130-S20037494-023.SATISFIABLE.cnf	SAT	0.024996	0.0273309	3205158
random/medium/ unif-k3-r4.26-v450-c1917-S386464511-018.SATISFIABLE.cnf	SAT	0.025995	0.027274	3205906
random/medium/ unif-k5-r21.3-v75-c1597-S2038462183-033.SATISFIABLE.cnf	SAT	0.026995	0.029781	3205522
random/medium/ unif-k3-r4.26-v700-c2982-S1863077195-052.SATISFIABLE.cnf	SAT	0.030995	0.0318401	3206134
random/medium/ unif-k3-r4.26-v650-c2769-S30721646-064.SATISFIABLE.cnf	SAT	0.030995	0.032914	3206046
random/medium/ unif-k5-r21.3-v125-c2662-S436871389-051.SATISFIABLE.cnf	SAT	0.030995	0.0353441	3205218
random/medium/ unif-k3-r4.26-v700-c2982-S628307658-028.SATISFIABLE.cnf	SAT	0.031995	0.03299	3205430
random/medium/ unif-k5-r21.3-v75-c1597-S1636883934-028.SATISFIABLE.cnf	SAT	0.031995	0.0379729	3205870
random/medium/ unif-k3-r4.26-v550-c2343-S1610857498-043.SATISFIABLE.cnf	SAT	0.032994	0.0335221	3206270
random/medium/ unif-k7-r89-v50-c4450-S864690872-081.SATISFIABLE.cnf	SAT	0.034993	0.036561	3205774
random/medium/ unif-k3-r4.26-v750-c3195-S973075635-083.SATISFIABLE.cnf	SAT	0.039993	0.040087	3205394
random/medium/ unif-k3-r4.26-v450-c1917-S380157195-014.SATISFIABLE.cnf	SAT	0.040992	0.0406539	3205102
random/medium/ unif-k3-r4.26-v500-c2130-S204737200-067.SATISFIABLE.cnf	SAT	0.044993	0.045113	3206474
random/medium/ unif-k3-r4.26-v800-c3408-S91768321-029.SATISFIABLE.cnf	SAT	0.046992	0.049331	3206570
random/medium/ unif-k3-r4.26-v400-c1704-S1960786523-069.SATISFIABLE.cnf	SAT	0.052991	0.0538969	3205570
random/medium/ unif-k5-r21.3-v125-c2662-S34055288-072.SATISFIABLE.cnf	SAT	0.054991	0.055537	3205642
random/medium/ unif-k3-r4.26-v400-c1704-S1050579435-065.SATISFIABLE.cnf	SAT	0.054991	0.055972	3205674
random/medium/ unif-k3-r4.26-v350-c1491-S1794283924-053.SATISFIABLE.cnf	SAT	0.05799	0.059332	3205878
random/medium/ unif-k3-r4.26-v700-c2982-S1617172756-030.SATISFIABLE.cnf	SAT	0.05999	0.0614309	3206206
random/medium/ unif-k3-r4.26-v800-c3408-S456969343-019.SATISFIABLE.cnf	SAT	0.06199	0.0629169	3205598
random/medium/ unif-k3-r4.26-v700-c2982-S900569154-026.SATISFIABLE.cnf	SAT	0.06499	0.0661159	3205138
random/medium/ unif-k3-r4.26-v350-c1491-S146789605-022.SATISFIABLE.cnf	SAT	0.065989	0.0690779	3205474
random/medium/ unif-k3-r4.26-v500-c2130-S840902310-084.SATISFIABLE.cnf	SAT	0.066989	0.066973	3206362
random/medium/ unif-k7-r89-v50-c4450-S768928417-025.SATISFIABLE.cnf	SAT	0.067989	0.0700521	3205318
random/medium/ unif-k7-r89-v50-c4450-S422404201-035.SATISFIABLE.cnf	SAT	0.068988	0.0693891	3206310
random/medium/ unif-k3-r4.26-v800-c3408-S1536861174-069.SATISFIABLE.cnf	SAT	0.068989	0.069414	3205942
random/medium/ unif-k3-r4.26-v650-c2769-S525571208-063.SATISFIABLE.cnf	SAT	0.069989	0.0706971	3205170
random/medium/ unif-k3-r4.26-v800-c3408-S1631205309-024.SATISFIABLE.cnf	SAT	0.069989	0.0704459	3205110
random/medium/ unif-k7-r89-v50-c4450-S675112162-053.SATISFIABLE.cnf	SAT	0.072988	0.078199	3205898
random/medium/ unif-k3-r4.26-v450-c1917-S222128792-011.SATISFIABLE.cnf	SAT	0.076987	0.076521	3206018
random/medium/ unif-k5-r21.3-v125-c2662-S1396350646-062.SATISFIABLE.cnf	SAT	0.079986	0.0808961	3206090
random/medium/ unif-k3-r4.26-v650-c2769-S4140122-004.SATISFIABLE.cnf	SAT	0.081987	0.0847569	3206198
random/medium/ unif-k3-r4.26-v350-c1491-S1060672754-058.SATISFIABLE.cnf	SAT	0.087986	0.0882001	3205966
random/medium/ unif-k3-r4.26-v650-c2769-S1894319588-015.SATISFIABLE.cnf	SAT	0.087986	0.0890249	3205402
random/medium/ unif-k7-r89-v50-c4450-S1786071619-083.SATISFIABLE.cnf	SAT	0.097985	0.0992379	3205690
random/medium/ unif-k5-r21.3-v125-c2662-S464722883-083.SATISFIABLE.cnf	SAT	0.097985	0.0990549	3206022
random/medium/ unif-k5-r21.3-v100-c2130-S707565158-096.SATISFIABLE.cnf	SAT	0.100984	0.101721	3205322
random/medium/ unif-k3-r4.26-v650-c2769-S466707249-079.SATISFIABLE.cnf	SAT	0.103983	0.104111	3206346
random/medium/ unif-k3-r4.26-v450-c1917-S2088689288-085.SATISFIABLE.cnf	SAT	0.103984	0.105316	3206446
random/medium/ unif-k3-r4.26-v450-c1917-S2065964480-034.SATISFIABLE.cnf	SAT	0.106983	0.107929	3205398
random/medium/ unif-k3-r4.26-v800-c3408-S846876765-035.SATISFIABLE.cnf	SAT	0.106983	0.107175	3206422
random/medium/ unif-k7-r89-v50-c4450-S1087312438-073.SATISFIABLE.cnf	SAT	0.111982	0.112192	3205454
random/medium/ unif-k7-r89-v50-c4450-S1496316430-079.SATISFIABLE.cnf	SAT	0.111982	0.112295	3206482
random/medium/ unif-k3-r4.26-v400-c1704-S930506247-025.SATISFIABLE.cnf	SAT	0.119981	0.123089	3205254
random/medium/ unif-k7-r89-v50-c4450-S1430772875-039.SATISFIABLE.cnf	SAT	0.121981	0.122327	3205186
random/medium/ unif-k7-r89-v60-c5340-S239039906-021.SATISFIABLE.cnf	SAT	0.126979	0.127397	3205222
random/medium/ unif-k3-r4.26-v750-c3195-S576842028-023.SATISFIABLE.cnf	SAT	0.12798	0.12815	3205702
random/medium/ unif-k3-r4.26-v500-c2130-S831119356-083.SATISFIABLE.cnf	SAT	0.136979	0.137267	3206238
random/medium/ unif-k3-r4.26-v750-c3195-S1985868475-070.SATISFIABLE.cnf	SAT	0.139977	0.14436	3205142
random/medium/ unif-k5-r21.3-v100-c2130-S1880411078-058.SATISFIABLE.cnf	SAT	0.140978	0.142593	3205426
random/medium/ unif-k3-r4.26-v800-c3408-S902286199-017.SATISFIABLE.cnf	SAT	0.154975	0.160173	3206250
random/medium/ unif-k3-r4.26-v800-c3408-S890760919-021.SATISFIABLE.cnf	SAT	0.157975	0.159471	3206050
random/medium/ unif-k3-r4.26-v600-c2556-S252359291-002.SATISFIABLE.cnf	SAT	0.158975	0.159242	3205830
random/medium/ unif-k3-r4.26-v650-c2769-S1495462442-016.SATISFIABLE.cnf	SAT	0.165973	0.165554	3205050
random/medium/ unif-k3-r4.26-v500-c2130-S481747904-003.SATISFIABLE.cnf	SAT	0.168973	0.173354	3205374
random/medium/ unif-k3-r4.26-v600-c2556-S1468528501-076.SATISFIABLE.cnf	SAT	0.176973	0.178543	3205406
random/medium/ unif-k7-r89-v70-c6230-S1018943457-089.SATISFIABLE.cnf	SAT	0.188971	0.190846	3205762
random/medium/ unif-k7-r89-v60-c5340-S385597856-055.SATISFIABLE.cnf	SAT	0.19397	0.199039	3206174
random/medium/ unif-k7-r89-v50-c4450-S1788358104-029.SATISFIABLE.cnf	SAT	0.195969	0.197167	3206226
random/medium/ unif-k5-r21.3-v175-c3727-S1110880865-004.SATISFIABLE.cnf	SAT	0.211966	0.212063	3205010
random/medium/ unif-k3-r4.26-v700-c2982-S1744841484-003.SATISFIABLE.cnf	SAT	0.211967	0.212274	3206478
random/medium/ unif-k3-r4.26-v350-c1491-S1507171828-044.SATISFIABLE.cnf	SAT	0.215967	0.216613	3205890
random/medium/ unif-k7-r89-v70-c6230-S2143190124-085.SATISFIABLE.cnf	SAT	0.216967	0.216647	3205382
random/medium/ unif-k3-r4.26-v700-c2982-S115072124-051.SATISFIABLE.cnf	SAT	0.222966	0.223602	3206118
random/medium/ unif-k5-r21.3-v150-c3195-S1579607106-017.SATISFIABLE.cnf	SAT	0.230964	0.234967	3205210
random/medium/ unif-k3-r4.26-v600-c2556-S610796494-086.SATISFIABLE.cnf	SAT	0.241962	0.241652	3206190
random/medium/ unif-k5-r21.3-v150-c3195-S1787844685-006.SATISFIABLE.cnf	SAT	0.243962	0.244205	3206494
random/medium/ unif-k3-r4.26-v650-c2769-S1261029273-036.SATISFIABLE.cnf	SAT	0.243962	0.243599	3206338
random/medium/ unif-k3-r4.26-v800-c3408-S852188518-088.SATISFIABLE.cnf	SAT	0.262959	0.26325	3205038
random/medium/ unif-k7-r89-v70-c6230-S2045410966-069.SATISFIABLE.cnf	SAT	0.263959	0.264423	3206034
random/medium/ unif-k5-r21.3-v175-c3727-S520872997-084.SATISFIABLE.cnf	SAT	0.265959	0.267639	3205026
random/medium/ unif-k3-r4.26-v750-c3195-S664770261-061.SATISFIABLE.cnf	SAT	0.276957	0.277309	3205250
random/medium/ unif-k3-r4.26-v800-c3408-S1831593686-090.SATISFIABLE.cnf	SAT	0.284956	0.284809	3205206
random/medium/ unif-k3-r4.26-v500-c2130-S1263625223-038.SATISFIABLE.cnf	SAT	0.288955	0.289488	3205018
random/medium/ unif-k7-r89-v50-c4450-S879384975-017.SATISFIABLE.cnf	SAT	0.331949	0.332658	3205470
random/medium/ unif-k5-r21.3-v100-c2130-S332580795-055.SATISFIABLE.cnf	SAT	0.336948	0.337315	3206534
random/large/ unif-k3-r4.2-v2500-c10500-S89508070-083-UNKNOWN.cnf	SAT	0.338947	0.33889	3204730
random/medium/ unif-k5-r21.3-v150-c3195-S1116496771-020.SATISFIABLE.cnf	SAT	0.352946	0.355098	3205274
random/medium/ unif-k3-r4.26-v600-c2556-S727005963-093.SATISFIABLE.cnf	SAT	0.355945	0.356837	3205918
random/medium/ unif-k5-r21.3-v175-c3727-S752966552-099.SATISFIABLE.cnf	SAT	0.370943	0.3712	3205410
random/medium/ unif-k5-r21.3-v150-c3195-S334650851-022.SATISFIABLE.cnf	SAT	0.374943	0.375532	3205174
random/medium/ unif-k3-r4.26-v450-c1917-S2083898043-071.SATISFIABLE.cnf	SAT	0.377941	0.377204	3206038
random/medium/ unif-k7-r89-v60-c5340-S1458986015-022.SATISFIABLE.cnf	SAT	0.38694	0.389855	3205618
random/medium/ unif-k7-r89-v70-c6230-S944754256-018.SATISFIABLE.cnf	SAT	0.400938	0.403209	3204990
random/medium/ unif-k5-r21.3-v100-c2130-S328068950-002.SATISFIABLE.cnf	SAT	0.403938	0.408659	3205714
random/medium/ unif-k3-r4.26-v450-c1917-S528475885-007.SATISFIABLE.cnf	SAT	0.410937	0.411214	3205682
random/medium/ unif-k7-r89-v60-c5340-S969033069-088.SATISFIABLE.cnf	SAT	0.426935	0.427238	3206502
random/medium/ unif-k5-r21.3-v125-c2662-S1258495116-025.SATISFIABLE.cnf	SAT	0.429933	0.430287	3205314
random/medium/ unif-k3-r4.26-v600-c2556-S379672572-039.SATISFIABLE.cnf	SAT	0.439933	0.445095	3205626
random/medium/ unif-k3-r4.26-v750-c3195-S1378008329-078.SATISFIABLE.cnf	SAT	0.518921	0.520089	3205282
random/medium/ unif-k5-r21.3-v125-c2662-S675870149-098.SATISFIABLE.cnf	SAT	0.544917	0.54465	3205738
random/medium/ unif-k3-r4.26-v700-c2982-S812011128-009.SATISFIABLE.cnf	SAT	0.568913	0.568728	3206514
random/medium/ unif-k3-r4.26-v550-c2343-S874954918-011.SATISFIABLE.cnf	SAT	0.573912	0.575523	3205386
random/medium/ unif-k3-r4.26-v750-c3195-S397702672-080.SATISFIABLE.cnf	SAT	0.58791	0.589423	3206542
random/medium/ unif-k5-r21.3-v150-c3195-S1216095115-028.SATISFIABLE.cnf	SAT	0.671897	0.671154	3205582
random/medium/ unif-k3-r4.26-v750-c3195-S8215859-049.SATISFIABLE.cnf	SAT	0.693894	0.695731	3205014
random/medium/ unif-k3-r4.26-v600-c2556-S2050053883-062.SATISFIABLE.cnf	SAT	0.697893	0.699484	3206082
random/medium/ unif-k5-r21.3-v175-c3727-S110935064-075.SATISFIABLE.cnf	SAT	0.718889	0.718904	3205450
random/medium/ unif-k3-r4.26-v550-c2343-S2058622508-076.SATISFIABLE.cnf	SAT	0.78788	0.7897	3205670
random/medium/ unif-k7-r89-v60-c5340-S1583005701-053.SATISFIABLE.cnf	SAT	0.820875	0.823006	3205946
random/medium/ unif-k5-r21.3-v175-c3727-S100095490-071.SATISFIABLE.cnf	SAT	0.840872	0.841406	3205746
random/medium/ unif-k5-r21.3-v175-c3727-S1592669696-022.SATISFIABLE.cnf	SAT	0.878865	0.878876	3205970
random/medium/ unif-k7-r89-v70-c6230-S1351138814-007.SATISFIABLE.cnf	SAT	0.890864	0.895266	3205558
random/medium/ unif-k7-r89-v60-c5340-S630613738-050.SATISFIABLE.cnf	SAT	0.892863	0.892643	3206106
random/medium/ unif-k7-r89-v90-c8010-S231612998-061.SATISFIABLE.cnf	SAT	0.963852	0.963515	3206158
random/medium/ unif-k7-r89-v60-c5340-S1510638717-051.SATISFIABLE.cnf	SAT	1.01085	1.01579	3205922
random/medium/ unif-k3-r4.26-v600-c2556-S2019147653-030.SATISFIABLE.cnf	SAT	1.02884	1.02878	3205494
random/medium/ unif-k3-r4.26-v550-c2343-S311101868-094.SATISFIABLE.cnf	SAT	1.04284	1.04373	3206142
random/medium/ unif-k7-r89-v70-c6230-S1321356000-046.SATISFIABLE.cnf	SAT	1.07483	1.07431	3205850
random/medium/ unif-k5-r21.3-v150-c3195-S1650617512-037.SATISFIABLE.cnf	SAT	1.07583	1.07633	3206462
random/medium/ unif-k3-r4.26-v600-c2556-S1383380994-043.SATISFIABLE.cnf	SAT	1.10483	1.10441	3206326
random/large/ unif-k3-r4.2-v2500-c10500-S1300417189-038-UNKNOWN.cnf	SAT	1.18382	1.18309	3204322
random/medium/ unif-k3-r4.26-v700-c2982-S893015585-015.SATISFIABLE.cnf	SAT	1.20682	1.20657	3205978
random/medium/ unif-k7-r89-v60-c5340-S1141565617-016.SATISFIABLE.cnf	SAT	1.3198	1.32086	3205078
random/medium/ unif-k7-r89-v60-c5340-S1982873755-080.SATISFIABLE.cnf	SAT	1.37479	1.379	3205974
random/medium/ unif-k7-r89-v80-c7120-S1639347701-083.SATISFIABLE.cnf	SAT	1.50277	1.50452	3205874
random/medium/ unif-k5-r21.3-v175-c3727-S82160031-050.SATISFIABLE.cnf	SAT	1.60976	1.61123	3205486
random/medium/ unif-k5-r21.3-v125-c2662-S218235649-089.SATISFIABLE.cnf	SAT	1.75573	1.75597	3206398
random/medium/ unif-k5-r21.3-v175-c3727-S185833400-026.SATISFIABLE.cnf	SAT	1.88671	1.88729	3206126
random/medium/ unif-k7-r89-v80-c7120-S1957603206-080.SATISFIABLE.cnf	SAT	1.9787	1.98057	3206342
random/medium/ unif-k3-r4.26-v750-c3195-S2050161601-088.SATISFIABLE.cnf	SAT	1.9887	1.98829	3205586
random/medium/ unif-k5-r21.3-v150-c3195-S259896945-079.SATISFIABLE.cnf	SAT	1.9917	1.99166	3205614
random/large/ unif-k3-r4.2-v2500-c10500-S1907658523-004-UNKNOWN.cnf	SAT	2.06968	2.07222	3204766
random/medium/ unif-k3-r4.26-v400-c1704-S1864619158-076.SATISFIABLE.cnf	SAT	2.6506	2.65128	3205074
random/medium/ unif-k7-r89-v80-c7120-S1623694027-006.SATISFIABLE.cnf	SAT	2.70659	2.70625	3205166
random/medium/ unif-k5-r21.3-v175-c3727-S539832832-088.SATISFIABLE.cnf	SAT	2.79657	2.7964	3205334
random/large/ unif-k3-r4.2-v2500-c10500-S49783605-066-UNKNOWN.cnf	SAT	3.02654	3.02763	3204754
random/medium/ unif-k7-r89-v70-c6230-S1846644927-079.SATISFIABLE.cnf	SAT	3.04754	3.04845	3204986
random/medium/ unif-k7-r89-v90-c8010-S224440242-006.SATISFIABLE.cnf	SAT	3.11253	3.1142	3206450
random/medium/ unif-k7-r89-v80-c7120-S153059456-076.SATISFIABLE.cnf	SAT	3.20051	3.20615	3205902
random/medium/ unif-k7-r89-v80-c7120-S1254315629-032.SATISFIABLE.cnf	SAT	3.3045	3.305	3205590
random/large/ unif-k3-r4.2-v2500-c10500-S722024572-014-UNKNOWN.cnf	SAT	3.77942	3.77961	3204382
random/medium/ unif-k7-r89-v90-c8010-S501033814-049.SATISFIABLE.cnf	SAT	3.80742	3.8095	3206066
random/medium/ unif-k5-r21.3-v125-c2662-S236776564-037.SATISFIABLE.cnf	SAT	3.99239	3.99302	3206434
random/medium/ unif-k5-r21.3-v150-c3195-S1428216398-076.SATISFIABLE.cnf	SAT	4.11237	4.11194	3205818
random/medium/ unif-k3-r4.26-v500-c2130-S261841674-082.SATISFIABLE.cnf	SAT	4.41333	4.41311	3205794
random/large/ unif-k3-r4.2-v2500-c10500-S1201761407-024-UNKNOWN.cnf	SAT	4.56131	4.56363	3204814
random/medium/ unif-k7-r89-v80-c7120-S513640009-027.SATISFIABLE.cnf	SAT	4.63929	4.64443	3206194
random/medium/ unif-k3-r4.26-v700-c2982-S608588601-044.SATISFIABLE.cnf	SAT	4.65529	4.6555	3206078
random/medium/ unif-k5-r21.3-v125-c2662-S446351158-079.SATISFIABLE.cnf	SAT	4.70129	4.70202	3205706
random/medium/ unif-k5-r21.3-v150-c3195-S1499315720-089.SATISFIABLE.cnf	SAT	4.98924	4.99136	3206094
random/large/ unif-k3-r4.2-v5000-c21000-S1781430408-009-UNKNOWN.cnf	SAT	5.45117	5.45109	3204874
random/medium/ unif-k7-r89-v70-c6230-S314780693-050.SATISFIABLE.cnf	SAT	5.57015	5.57136	3206290
random/large/ unif-k3-r4.2-v5000-c21000-S901912629-090-UNKNOWN.cnf	SAT	5.80512	5.80848	3204862
random/medium/ unif-k3-r4.26-v650-c2769-S1402967451-034.SATISFIABLE.cnf	SAT	6.03808	6.03796	3206438
random/medium/ unif-k7-r89-v60-c5340-S388186442-035.SATISFIABLE.cnf	SAT	6.32304	6.32446	3206114
random/medium/ unif-k7-r89-v90-c8010-S271997978-024.SATISFIABLE.cnf	SAT	6.87595	6.87679	3206218
random/medium/ unif-k3-r4.26-v800-c3408-S1534711423-054.SATISFIABLE.cnf	SAT	7.36288	7.36305	3205654
random/medium/ unif-k7-r89-v80-c7120-S1147977026-087.SATISFIABLE.cnf	SAT	7.65184	7.65253	3204994
random/medium/ unif-k7-r89-v90-c8010-S2014736708-037.SATISFIABLE.cnf	SAT	8.77267	8.77246	3205442
random/medium/ unif-k7-r89-v90-c8010-S64052796-033.SATISFIABLE.cnf	SAT	9.39057	9.3906	3205506
random/medium/ unif-k7-r89-v70-c6230-S1335110382-066.SATISFIABLE.cnf	SAT	10.6284	10.6292	3205718
random/medium/ unif-k7-r89-v80-c7120-S175431861-098.SATISFIABLE.cnf	SAT	11.4403	11.4405	3205514
random/large/ unif-k3-r4.2-v5000-c21000-S720914503-051-UNKNOWN.cnf	SAT	11.5472	11.5518	3204662
random/medium/ unif-k5-r21.3-v150-c3195-S1632870961-099.SATISFIABLE.cnf	SAT	12.4571	12.4572	3206006
random/medium/ unif-k7-r89-v90-c8010-S51928934-076.SATISFIABLE.cnf	SAT	13.7539	13.7541	3206122
random/large/ unif-k7-r85-v150-c12750-S367425675-085-UNKNOWN.cnf	SAT	14.2328	14.2355	3204694
random/large/ unif-k3-r4.2-v2500-c10500-S924370159-018-UNKNOWN.cnf	SAT	14.5398	14.5396	3204270
random/medium/ unif-k7-r89-v80-c7120-S1801179747-047.SATISFIABLE.cnf	SAT	15.4517	15.4525	3205854
random/medium/ unif-k3-r4.26-v650-c2769-S1069233620-009.SATISFIABLE.cnf	SAT	15.4666	15.4655	3206002
random/large/ unif-k5-r20-v750-c15000-S131912631-041-UNKNOWN.cnf	SAT	15.5546	15.554	3204566
random/large/ unif-k3-r4.2-v2500-c10500-S882087907-088-UNKNOWN.cnf	SAT	15.9226	15.9227	3204462
random/large/ unif-k3-r4.2-v10000-c42000-S963265686-085-UNKNOWN.cnf	SAT	18.0473	18.0469	3204578
random/large/ unif-k5-r20-v750-c15000-S64285713-004-UNKNOWN.cnf	SAT	18.3652	18.3691	3204702
random/large/ unif-k3-r4.2-v5000-c21000-S425619685-036-UNKNOWN.cnf	SAT	18.6642	18.6639	3204430
random/medium/ unif-k7-r89-v80-c7120-S474185167-033.SATISFIABLE.cnf	SAT	19.1501	19.1501	3205466
random/large/ unif-k5-r20-v750-c15000-S1207160791-083-UNKNOWN.cnf	SAT	19.3751	19.3746	3204674
random/large/ unif-k3-r4.2-v5000-c21000-S434028979-077-UNKNOWN.cnf	SAT	24.9582	24.9574	3204482
random/medium/ unif-k7-r89-v90-c8010-S2039249975-038.SATISFIABLE.cnf	SAT	26.422	26.4223	3206402
random/large/ unif-k5-r20-v750-c15000-S976181807-056-UNKNOWN.cnf	SAT	29.5845	29.5836	3204914
random/large/ unif-k3-r4.2-v2500-c10500-S705365444-036-UNKNOWN.cnf	SAT	32.3301	32.3363	3204614
random/large/ unif-k5-r20-v750-c15000-S440979335-036-UNKNOWN.cnf	SAT	37.6093	37.61	3204494
random/medium/ unif-k3-r4.26-v750-c3195-S158767647-027.SATISFIABLE.cnf	SAT	39.624	39.6224	3205802
random/large/ unif-k5-r20-v1000-c20000-S1950850246-038-UNKNOWN.cnf	SAT	41.0088	41.0105	3204518
random/large/ unif-k5-r20-v1000-c20000-S941604910-059-UNKNOWN.cnf	SAT	41.7137	41.724	3204246
random/large/ unif-k5-r20-v750-c15000-S957625236-045-UNKNOWN.cnf	SAT	42.9145	42.9142	3204202
random/large/ unif-k5-r20-v750-c15000-S656533785-100-UNKNOWN.cnf	SAT	44.6822	44.682	3204798
random/medium/ unif-k5-r21.3-v175-c3727-S1126657927-015.SATISFIABLE.cnf	SAT	45.3311	45.3315	3206418
random/large/ unif-k5-r20-v1000-c20000-S883282443-030-UNKNOWN.cnf	SAT	53.1629	53.1622	3204206
random/medium/ unif-k7-r89-v90-c8010-S1828831772-021.SATISFIABLE.cnf	SAT	56.0515	56.0522	3205354
random/large/ unif-k3-r4.2-v5000-c21000-S912026804-034-UNKNOWN.cnf	SAT	64.4212	64.4211	3204394
random/medium/ unif-k7-r89-v90-c8010-S661190852-039.SATISFIABLE.cnf	SAT	64.5872	64.5867	3205106
random/large/ unif-k3-r4.2-v2500-c10500-S374960214-041-UNKNOWN.cnf	SAT	67.4717	67.4716	3204850
random/large/ unif-k3-r4.2-v5000-c21000-S936020932-012-UNKNOWN.cnf	SAT	81.8596	81.8577	3204406
random/large/ unif-k5-r20-v1250-c25000-S1103412232-098-UNKNOWN.cnf	SAT	98.1881	98.1875	3204274
random/large/ unif-k3-r4.2-v5000-c21000-S1157767653-025-UNKNOWN.cnf	SAT	102.335	102.333	3204378
random/large/ unif-k5-r20-v1000-c20000-S945664020-055-UNKNOWN.cnf	SAT	102.597	102.595	3204546
random/large/ unif-k3-r4.2-v10000-c42000-S903594090-011-UNKNOWN.cnf	SAT	103.518	103.519	3204526
random/large/ unif-k5-r20-v1000-c20000-S541740666-063-UNKNOWN.cnf	SAT	103.593	103.599	3204302
random/large/ unif-k7-r85-v150-c12750-S313239685-087-UNKNOWN.cnf	SAT	104.501	104.499	3204298
random/large/ unif-k7-r85-v150-c12750-S1737989193-079-UNKNOWN.cnf	SAT	110.468	110.467	3204826
random/large/ unif-k5-r20-v1500-c30000-S715182559-083-UNKNOWN.cnf	SAT	130.326	130.331	3204306
random/large/ unif-k3-r4.2-v5000-c21000-S1259410977-065-UNKNOWN.cnf	SAT	140.064	140.06	3204734
random/large/ unif-k3-r4.2-v10000-c42000-S677627694-051-UNKNOWN.cnf	SAT	143.034	143.031	3204890
random/large/ unif-k5-r20-v750-c15000-S888530894-020-UNKNOWN.cnf	SAT	144.673	144.671	3204650
random/large/ unif-k5-r20-v750-c15000-S3662714-068-UNKNOWN.cnf	SAT	195.762	195.776	3204214
random/large/ unif-k5-r20-v750-c15000-S1787347746-067-UNKNOWN.cnf	SAT	208.814	208.82	3204642
random/large/ unif-k5-r20-v1250-c25000-S936047914-093-UNKNOWN.cnf	SAT	217.548	217.569	3204574
random/large/ unif-k7-r85-v150-c12750-S789865458-092-UNKNOWN.cnf	SAT	225.543	225.535	3204458
random/large/ unif-k3-r4.2-v10000-c42000-S1256256213-053-UNKNOWN.cnf	SAT	243.272	243.268	3204186
random/large/ unif-k5-r20-v1250-c25000-S540595895-046-UNKNOWN.cnf	SAT	283.717	283.715	3204726
random/large/ unif-k5-r20-v1250-c25000-S1245360321-088-UNKNOWN.cnf	SAT	349.114	349.115	3204594
random/large/ unif-k3-r4.2-v10000-c42000-S360796849-068-UNKNOWN.cnf	SAT	352.241	352.229	3204182
random/medium/ unif-k7-r89-v80-c7120-S2107193201-069.UNKNOWN.cnf	SAT	364.116	364.109	3205414
random/large/ unif-k7-r85-v150-c12750-S541704841-072-UNKNOWN.cnf	SAT	390.883	390.879	3204222
random/large/ unif-k3-r4.2-v15000-c63000-S976131144-051-UNKNOWN.cnf	SAT	392.464	392.465	3204450
random/large/ unif-k5-r20-v1000-c20000-S107009952-009-UNKNOWN.cnf	SAT	430.776	430.761	3204178
random/large/ unif-k5-r20-v1000-c20000-S72635791-098-UNKNOWN.cnf	SAT	460.212	460.197	3204358
random/large/ unif-k3-r4.2-v15000-c63000-S1386494586-003-UNKNOWN.cnf	SAT	471.508	471.505	3204622
random/large/ unif-k5-r20-v1500-c30000-S1305346115-067-UNKNOWN.cnf	SAT	513.376	513.361	3204898
random/large/ unif-k5-r20-v1500-c30000-S1180959030-088-UNKNOWN.cnf	SAT	532.031	532.019	3204742
random/large/ unif-k5-r20-v1000-c20000-S519298227-080-UNKNOWN.cnf	SAT	541.824	541.811	3204926
random/large/ unif-k3-r4.2-v15000-c63000-S38529837-091-UNKNOWN.cnf	SAT	546.371	546.356	3204502
random/large/ unif-k5-r20-v1250-c25000-S1688530456-019-UNKNOWN.cnf	SAT	549.269	549.274	3204278
random/large/ unif-k3-r4.2-v5000-c21000-S72547786-008-UNKNOWN.cnf	SAT	576.302	576.296	3204530
random/large/ unif-k3-r4.2-v15000-c63000-S1868678442-026-UNKNOWN.cnf	SAT	606.565	606.548	3204210
random/large/ unif-k7-r85-v150-c12750-S93401285-051-UNKNOWN.cnf	SAT	706.147	706.118	3204190
random/large/ unif-k5-r20-v1500-c30000-S1793954886-065-UNKNOWN.cnf	SAT	733.691	733.676	3204318
random/large/ unif-k5-r20-v1250-c25000-S935783783-069-UNKNOWN.cnf	SAT	738.202	738.185	3204402
random/large/ unif-k5-r20-v1250-c25000-S269694958-008-UNKNOWN.cnf	SAT	746.066	746.075	3204690
random/large/ unif-k3-r4.2-v10000-c42000-S977705304-066-UNKNOWN.cnf	SAT	750.148	750.137	3204362
random/large/ unif-k3-r4.2-v10000-c42000-S1778317451-042-UNKNOWN.cnf	SAT	756.546	756.53	3204934
random/large/ unif-k5-r20-v1000-c20000-S698025027-034-UNKNOWN.cnf	SAT	771.505	771.486	3204830
random/large/ unif-k3-r4.2-v10000-c42000-S338979727-056-UNKNOWN.cnf	SAT	798.998	798.992	3204290
random/large/ unif-k5-r20-v1000-c20000-S1351005860-011-UNKNOWN.cnf	SAT	902.81	902.779	3204918
random/large/ unif-k7-r85-v150-c12750-S1101422472-003-UNKNOWN.cnf	SAT	1048.17	1048.13	3204774
random/large/ unif-k7-r85-v150-c12750-S511186849-048-UNKNOWN.cnf	SAT	1074.84	1074.81	3204782
random/large/ unif-k3-r4.2-v15000-c63000-S43885340-006-UNKNOWN.cnf	SAT	1076.72	1076.69	3204886
random/large/ unif-k7-r85-v150-c12750-S1290198737-013-UNKNOWN.cnf	SAT	1090.07	1090.05	3204902
random/large/ unif-k3-r4.2-v20000-c84000-S313385224-076-UNKNOWN.cnf	SAT	1192.18	1192.15	3204658
random/large/ unif-k7-r85-v150-c12750-S896023516-057-UNKNOWN.cnf	SAT	1234.59	1234.55	3204410

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
random/large/ unif-k5-r20-v2000-c40000-S319509287-085-UNKNOWN.cnf	? (TO)	1299.94	1300.01	3204338
random/medium/ unif-k7-r89-v80-c7120-S1968028041-077.UNKNOWN.cnf	? (TO)	1299.94	1300.01	3206510
random/large/ unif-k7-r85-v300-c25500-S680524168-083-UNKNOWN.cnf	? (TO)	1299.95	1300.01	3204666
random/medium/ unif-k7-r89-v50-c4450-S2039518547-066.UNKNOWN.cnf	? (TO)	1299.95	1300.01	3205734
random/medium/ unif-k3-r4.26-v650-c2769-S1631976568-086.UNKNOWN.cnf	? (TO)	1299.96	1300.01	3206470
random/medium/ unif-k5-r21.3-v50-c1065-S1491756361-004.UNKNOWN.cnf	? (TO)	1299.97	1300.01	3205630
random/large/ unif-k3-r4.2-v20000-c84000-S1204913987-029-UNKNOWN.cnf	? (TO)	1299.97	1300.01	3204238
random/large/ unif-k3-r4.2-v25000-c105000-S269939581-066-UNKNOWN.cnf	? (TO)	1299.97	1300.01	3204790
random/medium/ unif-k3-r4.26-v550-c2343-S1163259790-073.UNKNOWN.cnf	? (TO)	1299.97	1300.01	3205246
random/large/ unif-k7-r85-v200-c17000-S72668411-025-UNKNOWN.cnf	? (TO)	1299.97	1300.01	3204822
random/large/ unif-k7-r85-v400-c34000-S832901479-042-UNKNOWN.cnf	? (TO)	1299.97	1300.01	3204218
random/medium/ unif-k7-r89-v50-c4450-S1082084494-034.UNKNOWN.cnf	? (TO)	1299.97	1300.01	3205562
random/medium/ unif-k3-r4.26-v700-c2982-S1124205008-074.UNKNOWN.cnf	? (TO)	1299.97	1300.01	3206322
random/large/ unif-k7-r85-v400-c34000-S94779963-093-UNKNOWN.cnf	? (TO)	1299.97	1300.01	3204930
random/large/ unif-k3-r4.2-v50000-c210000-S537193780-078-UNKNOWN.cnf	? (TO)	1299.98	1300.01	3204310
random/large/ unif-k3-r4.2-v50000-c210000-S1401248878-094-UNKNOWN.cnf	? (TO)	1299.98	1300.01	3204506
random/large/ unif-k3-r4.2-v40000-c168000-S907804052-003-UNKNOWN.cnf	? (TO)	1299.98	1300.01	3204882
random/large/ unif-k7-r85-v200-c17000-S862393334-098-UNKNOWN.cnf	? (TO)	1299.98	1300.01	3204194
random/medium/ unif-k5-r21.3-v75-c1597-S1227489160-001.UNKNOWN.cnf	? (TO)	1299.98	1300.01	3205214
random/medium/ unif-k3-r4.26-v550-c2343-S591042619-090.UNKNOWN.cnf	? (TO)	1299.98	1300.01	3206562
random/medium/ unif-k5-r21.3-v150-c3195-S873866006-055.UNKNOWN.cnf	? (TO)	1299.98	1300.01	3205130
random/large/ unif-k3-r4.2-v20000-c84000-S921718479-079-UNKNOWN.cnf	? (TO)	1299.98	1300.01	3204514
random/medium/ unif-k7-r89-v80-c7120-S1901567697-013.UNKNOWN.cnf	? (TO)	1299.99	1300.01	3205094
random/medium/ unif-k5-r21.3-v150-c3195-S1847541883-049.UNKNOWN.cnf	? (TO)	1299.99	1300.01	3205950
random/medium/ unif-k3-r4.26-v450-c1917-S1910317962-059.UNKNOWN.cnf	? (TO)	1299.99	1300.01	3205538
random/large/ unif-k3-r4.2-v15000-c63000-S980027332-029-UNKNOWN.cnf	? (TO)	1300	1300.01	3204554
random/large/ unif-k5-r20-v2000-c40000-S1143439968-082-UNKNOWN.cnf	? (TO)	1300	1300.01	3204254
random/medium/ unif-k7-r89-v60-c5340-S1556216475-025.UNKNOWN.cnf	? (TO)	1300	1300.01	3205554
random/medium/ unif-k5-r21.3-v50-c1065-S1139883571-082.UNKNOWN.cnf	? (TO)	1300	1300.01	3206370
random/medium/ unif-k3-r4.26-v400-c1704-S1511266249-002.UNKNOWN.cnf	? (TO)	1300	1300.01	3206262
random/medium/ unif-k3-r4.26-v300-c1278-S1990987164-054.UNKNOWN.cnf	? (TO)	1300	1300.01	3205198
random/medium/ unif-k3-r4.26-v250-c1065-S427778075-026.UNKNOWN.cnf	? (TO)	1300	1300.01	3205982
random/large/ unif-k3-r4.2-v40000-c168000-S895938734-057-UNKNOWN.cnf	? (TO)	1300.01	1300.01	3204294
random/large/ unif-k3-r4.2-v40000-c168000-S845438593-067-UNKNOWN.cnf	? (TO)	1300.01	1300.01	3204426
random/large/ unif-k7-r85-v250-c21250-S1116436500-050-UNKNOWN.cnf	? (TO)	1300.01	1300.01	3204942
random/large/ unif-k7-r85-v300-c25500-S1859210562-077-UNKNOWN.cnf	? (TO)	1300.01	1300.01	3204878
random/medium/ unif-k3-r4.26-v700-c2982-S157016908-041.UNKNOWN.cnf	? (TO)	1300.01	1300.01	3206074
random/medium/ unif-k5-r21.3-v125-c2662-S1194239878-049.UNKNOWN.cnf	? (TO)	1300.01	1300.01	3205886
random/medium/ unif-k3-r4.26-v650-c2769-S216164582-083.UNKNOWN.cnf	? (TO)	1300.01	1300.01	3206202
random/large/ unif-k3-r4.2-v35000-c147000-S1268831169-016-UNKNOWN.cnf	? (TO)	1300.01	1300.01	3204778
random/large/ unif-k3-r4.2-v30000-c126000-S1854039067-041-UNKNOWN.cnf	? (TO)	1300.01	1300.01	3204354
random/large/ unif-k5-r20-v1500-c30000-S303265982-092-UNKNOWN.cnf	? (TO)	1300.01	1300.01	3204618
random/medium/ unif-k3-r4.26-v300-c1278-S1869766438-024.UNKNOWN.cnf	? (TO)	1300.01	1300.01	3205262
random/large/ unif-k5-r20-v1500-c30000-S64154096-097-UNKNOWN.cnf	? (TO)	1300.01	1300.01	3204938
random/large/ unif-k3-r4.2-v25000-c105000-S1233052734-067-UNKNOWN.cnf	? (TO)	1300.02	1300.01	3204234
random/large/ unif-k7-r85-v400-c34000-S1275797759-041-UNKNOWN.cnf	? (TO)	1300.02	1300.01	3204682
random/large/ unif-k3-r4.2-v35000-c147000-S448503257-098-UNKNOWN.cnf	? (TO)	1300.02	1300.01	3204522
random/large/ unif-k7-r85-v200-c17000-S970203146-047-UNKNOWN.cnf	? (TO)	1300.02	1300.01	3204718
random/medium/ unif-k5-r21.3-v75-c1597-S1431779634-058.UNKNOWN.cnf	? (TO)	1300.02	1300.01	3206518
random/large/ unif-k7-r85-v250-c21250-S1274193329-021-UNKNOWN.cnf	? (TO)	1300.02	1300.01	3204834
random/medium/ unif-k3-r4.26-v700-c2982-S1800377425-032.UNKNOWN.cnf	? (TO)	1300.02	1300.01	3205662
random/medium/ unif-k3-r4.26-v300-c1278-S768688898-014.UNKNOWN.cnf	? (TO)	1300.02	1300.01	3205046
random/medium/ unif-k7-r89-v90-c8010-S2127424322-078.UNKNOWN.cnf	? (TO)	1300.02	1300.01	3205622
random/medium/ unif-k3-r4.26-v650-c2769-S960948361-055.UNKNOWN.cnf	? (TO)	1300.02	1300.01	3205638
random/medium/ unif-k3-r4.26-v500-c2130-S1094982880-055.UNKNOWN.cnf	? (TO)	1300.02	1300.01	3205086
random/medium/ unif-k7-r89-v90-c8010-S764895749-094.UNKNOWN.cnf	? (TO)	1300.02	1300.01	3205302
random/large/ unif-k7-r85-v300-c25500-S1286362348-008-UNKNOWN.cnf	? (TO)	1300.02	1300.01	3204350
random/medium/ unif-k3-r4.26-v250-c1065-S984689729-080.UNKNOWN.cnf	? (TO)	1300.02	1300.01	3205534
random/medium/ unif-k5-r21.3-v125-c2662-S1224290751-070.UNKNOWN.cnf	? (TO)	1300.02	1300.01	3205278
random/medium/ unif-k5-r21.3-v75-c1597-S1825761395-059.UNKNOWN.cnf	? (TO)	1300.02	1300.01	3206490
random/medium/ unif-k7-r89-v50-c4450-S1027567260-047.UNKNOWN.cnf	? (TO)	1300.02	1300.01	3205070
random/medium/ unif-k7-r89-v70-c6230-S1475900283-041.UNKNOWN.cnf	? (TO)	1300.02	1300.01	3205434
random/large/ unif-k3-r4.2-v35000-c147000-S1098107876-060-UNKNOWN.cnf	? (TO)	1300.02	1300.01	3204266
random/large/ unif-k3-r4.2-v25000-c105000-S533496308-018-UNKNOWN.cnf	? (TO)	1300.02	1300.01	3204542
random/large/ unif-k5-r20-v1500-c30000-S976428817-077-UNKNOWN.cnf	? (TO)	1300.02	1300.01	3204230
random/medium/ unif-k3-r4.26-v600-c2556-S869604189-077.UNKNOWN.cnf	? (TO)	1300.03	1300.01	3206098
random/large/ unif-k7-r85-v300-c25500-S376724493-075-UNKNOWN.cnf	? (TO)	1300.03	1300.01	3204590
random/large/ unif-k3-r4.2-v35000-c147000-S970100151-015-UNKNOWN.cnf	? (TO)	1300.03	1300.01	3204606
random/medium/ unif-k3-r4.26-v550-c2343-S912111154-025.UNKNOWN.cnf	? (TO)	1300.03	1300.01	3206266
random/large/ unif-k3-r4.2-v30000-c126000-S379804333-028-UNKNOWN.cnf	? (TO)	1300.03	1300.01	3204626
random/medium/ unif-k3-r4.26-v350-c1491-S648064606-012.UNKNOWN.cnf	? (TO)	1300.03	1300.01	3205266
random/medium/ unif-k3-r4.26-v250-c1065-S860541986-078.UNKNOWN.cnf	? (TO)	1300.03	1300.01	3205258
random/medium/ unif-k5-r21.3-v100-c2130-S2098066936-001.UNKNOWN.cnf	? (TO)	1300.03	1300.01	3205242
random/medium/ unif-k7-r89-v80-c7120-S1818856267-075.UNKNOWN.cnf	? (TO)	1300.03	1300.01	3205230
random/medium/ unif-k3-r4.26-v600-c2556-S1245124682-071.UNKNOWN.cnf	? (TO)	1300.03	1300.01	3205238
random/large/ unif-k3-r4.2-v35000-c147000-S1886449473-022-UNKNOWN.cnf	? (TO)	1300.03	1300.01	3204654
random/medium/ unif-k3-r4.26-v400-c1704-S1081907273-083.UNKNOWN.cnf	? (TO)	1300.03	1300.01	3205190
random/large/ unif-k5-r20-v2000-c40000-S61914820-087-UNKNOWN.cnf	? (TO)	1300.03	1300.01	3204706
random/medium/ unif-k3-r4.26-v500-c2130-S1514125851-037.UNKNOWN.cnf	? (TO)	1300.03	1300.01	3205150
random/medium/ unif-k5-r21.3-v150-c3195-S375894551-007.UNKNOWN.cnf	? (TO)	1300.03	1300.01	3205146
random/large/ unif-k3-r4.2-v40000-c168000-S1368340883-085-UNKNOWN.cnf	? (TO)	1300.03	1300.05	3204330
random/medium/ unif-k5-r21.3-v125-c2662-S396831120-092.UNKNOWN.cnf	? (TO)	1300.03	1300.01	3205122
random/medium/ unif-k5-r21.3-v50-c1065-S1054153452-040.UNKNOWN.cnf	? (TO)	1300.03	1300.01	3206354
random/large/ unif-k5-r20-v1250-c25000-S313445894-099-UNKNOWN.cnf	? (TO)	1300.03	1300.01	3204966
random/large/ unif-k3-r4.2-v20000-c84000-S840292785-048-UNKNOWN.cnf	? (TO)	1300.03	1300.01	3204758
random/large/ unif-k7-r85-v300-c25500-S415002759-031-UNKNOWN.cnf	? (TO)	1300.03	1300.01	3204954
random/large/ unif-k7-r85-v300-c25500-S1158419275-045-UNKNOWN.cnf	? (TO)	1300.03	1300.01	3204762
random/large/ unif-k7-r85-v250-c21250-S381985918-018-UNKNOWN.cnf	? (TO)	1300.03	1300.01	3204286
random/large/ unif-k7-r85-v250-c21250-S58287803-001-UNKNOWN.cnf	? (TO)	1300.03	1300.01	3204922
random/medium/ unif-k5-r21.3-v75-c1597-S1508981094-051.UNKNOWN.cnf	? (TO)	1300.03	1300.01	3205694
random/medium/ unif-k7-r89-v70-c6230-S250627100-039.UNKNOWN.cnf	? (TO)	1300.03	1300.01	3204998
random/medium/ unif-k3-r4.26-v650-c2769-S1298256564-085.UNKNOWN.cnf	? (TO)	1300.03	1300.01	3205042
random/medium/ unif-k7-r89-v50-c4450-S1034575833-022.UNKNOWN.cnf	? (TO)	1300.03	1300.01	3205634
random/medium/ unif-k5-r21.3-v50-c1065-S1449708927-022.UNKNOWN.cnf	? (TO)	1300.03	1300.01	3206330
random/medium/ unif-k7-r89-v80-c7120-S839353433-100.UNKNOWN.cnf	? (TO)	1300.03	1300.01	3205594
random/medium/ unif-k3-r4.26-v700-c2982-S1565617179-002.UNKNOWN.cnf	? (TO)	1300.03	1300.01	3205082
random/medium/ unif-k5-r21.3-v75-c1597-S60874767-043.UNKNOWN.cnf	? (TO)	1300.03	1300.01	3205546
random/medium/ unif-k3-r4.26-v250-c1065-S534787376-095.UNKNOWN.cnf	? (TO)	1300.03	1300.01	3205530
random/medium/ unif-k5-r21.3-v50-c1065-S433637520-048.UNKNOWN.cnf	? (TO)	1300.03	1300.01	3205090
random/medium/ unif-k7-r89-v60-c5340-S642174893-006.UNKNOWN.cnf	? (TO)	1300.03	1300.01	3205518
random/large/ unif-k3-r4.2-v10000-c42000-S1091905403-047-UNKNOWN.cnf	? (TO)	1300.03	1300.01	3204870
random/medium/ unif-k7-r89-v70-c6230-S1805176884-064.UNKNOWN.cnf	? (TO)	1300.03	1300.01	3205114
random/large/ unif-k3-r4.2-v30000-c126000-S285324961-078-UNKNOWN.cnf	? (TO)	1300.03	1300.01	3204770
random/large/ unif-k3-r4.2-v40000-c168000-S1920335371-069-UNKNOWN.cnf	? (TO)	1300.03	1300.01	3204838
random/medium/ unif-k7-r89-v60-c5340-S1831136826-075.UNKNOWN.cnf	? (TO)	1300.03	1300.01	3206374
random/medium/ unif-k7-r89-v50-c4450-S321945897-005.UNKNOWN.cnf	? (TO)	1300.03	1300.01	3205962
random/medium/ unif-k3-r4.26-v600-c2556-S1339958817-007.UNKNOWN.cnf	? (TO)	1300.03	1300.01	3205958
random/large/ unif-k7-r85-v250-c21250-S981492757-074-UNKNOWN.cnf	? (TO)	1300.03	1300.01	3204802
random/large/ unif-k3-r4.2-v30000-c126000-S926207202-053-UNKNOWN.cnf	? (TO)	1300.03	1300.01	3204794
random/medium/ unif-k3-r4.26-v350-c1491-S1705279286-077.UNKNOWN.cnf	? (TO)	1300.03	1300.01	3205954
random/medium/ unif-k3-r4.26-v550-c2343-S1554089933-067.UNKNOWN.cnf	? (TO)	1300.03	1300.01	3205914
random/medium/ unif-k7-r89-v60-c5340-S1445862528-059.UNKNOWN.cnf	? (TO)	1300.03	1300.01	3205838
random/large/ unif-k3-r4.2-v35000-c147000-S419010076-063-UNKNOWN.cnf	? (TO)	1300.03	1300.01	3204242
random/medium/ unif-k5-r21.3-v150-c3195-S31505198-038.UNKNOWN.cnf	? (TO)	1300.03	1300.01	3205810
random/large/ unif-k3-r4.2-v25000-c105000-S92008434-079-UNKNOWN.cnf	? (TO)	1300.03	1300.01	3204262
random/medium/ unif-k3-r4.26-v500-c2130-S670753028-051.UNKNOWN.cnf	? (TO)	1300.03	1300.01	3206466
random/large/ unif-k7-r85-v400-c34000-S1897807474-073-UNKNOWN.cnf	? (TO)	1300.03	1300.01	3204374
random/large/ unif-k5-r20-v1250-c25000-S573815729-001-UNKNOWN.cnf	? (TO)	1300.03	1300.01	3204414
random/large/ unif-k7-r85-v200-c17000-S1227169170-092-UNKNOWN.cnf	? (TO)	1300.03	1300.01	3204486
random/large/ unif-k7-r85-v200-c17000-S1348818483-020-UNKNOWN.cnf	? (TO)	1300.03	1300.01	3204422
random/large/ unif-k7-r85-v200-c17000-S283489555-036-UNKNOWN.cnf	? (TO)	1300.03	1300.01	3204438
random/large/ unif-k3-r4.2-v40000-c168000-S471691933-060-UNKNOWN.cnf	? (TO)	1300.03	1300.01	3204478
random/large/ unif-k7-r85-v200-c17000-S771170845-016-UNKNOWN.cnf	? (TO)	1300.03	1300.01	3204538
random/medium/ unif-k5-r21.3-v125-c2662-S1061710238-001.UNKNOWN.cnf	? (TO)	1300.03	1300.01	3205510
random/medium/ unif-k5-r21.3-v100-c2130-S1059781282-048.UNKNOWN.cnf	? (TO)	1300.03	1300.01	3205502
random/medium/ unif-k3-r4.26-v250-c1065-S1295196126-061.UNKNOWN.cnf	? (TO)	1300.03	1300.01	3205498
random/medium/ unif-k7-r89-v80-c7120-S841042385-099.UNKNOWN.cnf	? (TO)	1300.03	1300.01	3206410
random/medium/ unif-k7-r89-v80-c7120-S1980280938-088.UNKNOWN.cnf	? (TO)	1300.03	1300.01	3205478
random/medium/ unif-k5-r21.3-v100-c2130-S1741857700-014.UNKNOWN.cnf	? (TO)	1300.03	1300.01	3206390
random/medium/ unif-k3-r4.26-v700-c2982-S1971541934-090.UNKNOWN.cnf	? (TO)	1300.03	1300.01	3205458
random/medium/ unif-k3-r4.26-v600-c2556-S1677156340-036.UNKNOWN.cnf	? (TO)	1300.03	1300.01	3205866
random/large/ unif-k7-r85-v250-c21250-S655589261-059-UNKNOWN.cnf	? (TO)	1300.03	1300.01	3204510
random/medium/ unif-k3-r4.26-v250-c1065-S1822479556-014.UNKNOWN.cnf	? (TO)	1300.03	1300.01	3206278
random/medium/ unif-k7-r89-v70-c6230-S635440951-015.UNKNOWN.cnf	? (TO)	1300.03	1300.01	3205438
random/medium/ unif-k7-r89-v90-c8010-S775210372-041.UNKNOWN.cnf	? (TO)	1300.03	1300.01	3205390
random/medium/ unif-k3-r4.26-v550-c2343-S720541313-052.UNKNOWN.cnf	? (TO)	1300.03	1300.01	3205378
random/medium/ unif-k5-r21.3-v50-c1065-S827703138-064.UNKNOWN.cnf	? (TO)	1300.03	1300.01	3205366
random/large/ unif-k5-r20-v2000-c40000-S656892101-075-UNKNOWN.cnf	? (TO)	1300.03	1300.01	3204282
random/medium/ unif-k5-r21.3-v50-c1065-S370067727-038.UNKNOWN.cnf	? (TO)	1300.03	1300.01	3206366
random/large/ unif-k7-r85-v300-c25500-S926861876-013-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3204418
random/medium/ unif-k7-r89-v50-c4450-S1880985555-004.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3206358
random/medium/ unif-k3-r4.26-v650-c2769-S2065143904-035.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3206350
random/medium/ unif-k5-r21.3-v50-c1065-S1007919187-045.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3206318
random/medium/ unif-k7-r89-v50-c4450-S324945930-048.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3206282
random/medium/ unif-k3-r4.26-v400-c1704-S496650424-021.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3206274
random/medium/ unif-k5-r21.3-v125-c2662-S2092454698-027.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3206258
random/medium/ unif-k5-r21.3-v125-c2662-S689381858-022.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3206254
random/medium/ unif-k7-r89-v90-c8010-S423984545-074.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3206246
random/medium/ unif-k3-r4.26-v250-c1065-S1397126856-076.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3206214
random/medium/ unif-k3-r4.26-v250-c1065-S671776549-007.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3206186
random/medium/ unif-k5-r21.3-v150-c3195-S1836400953-011.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3206182
random/medium/ unif-k3-r4.26-v500-c2130-S247862791-097.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3206170
random/medium/ unif-k7-r89-v70-c6230-S560963242-048.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3206574
random/medium/ unif-k5-r21.3-v125-c2662-S118521533-021.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3206558
random/medium/ unif-k3-r4.26-v350-c1491-S1090604743-089.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3206458
random/medium/ unif-k3-r4.26-v450-c1917-S116041094-082.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3206406
random/medium/ unif-k3-r4.26-v350-c1491-S804294807-063.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3206154
random/medium/ unif-k3-r4.26-v300-c1278-S566093033-041.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3206110
random/medium/ unif-k3-r4.26-v650-c2769-S944656226-046.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3206086
random/medium/ unif-k3-r4.26-v450-c1917-S1573194644-097.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3206014
random/medium/ unif-k7-r89-v90-c8010-S1321406709-042.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3206010
random/medium/ unif-k3-r4.26-v350-c1491-S1404138730-025.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3205994
random/medium/ unif-k5-r21.3-v125-c2662-S1647930270-030.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3205986
random/medium/ unif-k7-r89-v60-c5340-S1675230100-032.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3206526
random/medium/ unif-k3-r4.26-v250-c1065-S266251785-083.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3206234
random/medium/ unif-k3-r4.26-v450-c1917-S1879031150-062.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3206230
random/medium/ unif-k5-r21.3-v150-c3195-S788239782-034.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3206222
random/medium/ unif-k3-r4.26-v400-c1704-S1409021001-079.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3205938
random/medium/ unif-k3-r4.26-v350-c1491-S1733949620-064.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3205930
random/medium/ unif-k3-r4.26-v600-c2556-S224791863-033.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3205926
random/medium/ unif-k3-r4.26-v400-c1704-S549184435-037.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3205894
random/medium/ unif-k7-r89-v50-c4450-S1374457799-001.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3205834
random/medium/ unif-k7-r89-v80-c7120-S1637697223-097.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3205826
random/medium/ unif-k5-r21.3-v100-c2130-S1336161514-068.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3205822
random/medium/ unif-k3-r4.26-v400-c1704-S895193371-061.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3205806
random/medium/ unif-k3-r4.26-v600-c2556-S1720013904-060.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3205798
random/medium/ unif-k3-r4.26-v500-c2130-S1205196501-095.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3206042
random/medium/ unif-k3-r4.26-v650-c2769-S29470018-050.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3206030
random/medium/ unif-k3-r4.26-v500-c2130-S769368248-036.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3205766
random/medium/ unif-k3-r4.26-v300-c1278-S1223020224-097.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3205758
random/medium/ unif-k3-r4.26-v350-c1491-S173446080-001.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3205754
random/medium/ unif-k3-r4.26-v450-c1917-S794554332-033.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3205750
random/medium/ unif-k3-r4.26-v300-c1278-S1469984978-038.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3205490
random/medium/ unif-k5-r21.3-v75-c1597-S1713710439-035.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3205482
random/medium/ unif-k7-r89-v90-c8010-S1475406203-080.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3205462
random/medium/ unif-k3-r4.26-v350-c1491-S797651048-056.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3205862
random/medium/ unif-k3-r4.26-v350-c1491-S659703274-054.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3205858
random/medium/ unif-k3-r4.26-v550-c2343-S1694067460-072.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3205422
random/medium/ unif-k5-r21.3-v150-c3195-S2124915970-046.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3205362
random/medium/ unif-k3-r4.26-v700-c2982-S942849-099.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3205358
random/medium/ unif-k3-r4.26-v300-c1278-S1194590195-083.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3205342
random/medium/ unif-k5-r21.3-v100-c2130-S1760258375-046.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3205338
random/medium/ unif-k7-r89-v70-c6230-S1780733482-097.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3205306
random/medium/ unif-k5-r21.3-v75-c1597-S602837755-005.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3205182
random/medium/ unif-k5-r21.3-v150-c3195-S207562876-057.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3205162
random/medium/ unif-k7-r89-v70-c6230-S1254276596-021.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3205126
random/medium/ unif-k3-r4.26-v600-c2556-S248192082-054.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3205118
random/large/ unif-k7-r85-v250-c21250-S977260632-016-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3204946
random/medium/ unif-k3-r4.26-v450-c1917-S1406921020-013.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3205698
random/medium/ unif-k5-r21.3-v125-c2662-S1397972185-007.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3205646
random/medium/ unif-k3-r4.26-v550-c2343-S816372663-049.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3205610
random/medium/ unif-k5-r21.3-v100-c2130-S206772908-015.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3205606
random/medium/ unif-k5-r21.3-v100-c2130-S1465579926-097.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3205566
random/large/ unif-k3-r4.2-v35000-c147000-S625465881-078-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3204910
random/large/ unif-k3-r4.2-v20000-c84000-S878494004-057-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3204906
random/large/ unif-k3-r4.2-v15000-c63000-S594553190-015-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3204858
random/large/ unif-k3-r4.2-v40000-c168000-S386300535-065-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3204846
random/large/ unif-k7-r85-v400-c34000-S536077088-015-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3204818
random/large/ unif-k3-r4.2-v30000-c126000-S1354319962-100-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3204810
random/large/ unif-k7-r85-v300-c25500-S69399346-065-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3204806
random/large/ unif-k3-r4.2-v30000-c126000-S643238994-057-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3204786
random/medium/ unif-k3-r4.26-v450-c1917-S367251957-028.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3205066
random/medium/ unif-k7-r89-v70-c6230-S1516725086-012.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3205054
random/medium/ unif-k3-r4.26-v700-c2982-S2036658259-036.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3205034
random/medium/ unif-k7-r89-v80-c7120-S1494985128-003.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3205030
random/medium/ unif-k3-r4.26-v700-c2982-S826445785-043.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3205022
random/medium/ unif-k3-r4.26-v400-c1704-S785747282-100.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3204982
random/large/ unif-k3-r4.2-v20000-c84000-S1298436766-097-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3204750
random/large/ unif-k7-r85-v400-c34000-S817927155-033-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3204738
random/large/ unif-k5-r20-v2000-c40000-S1264065752-051-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3204686
random/large/ unif-k3-r4.2-v25000-c105000-S30704505-092-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3204678
random/large/ unif-k7-r85-v400-c34000-S943787219-031-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3204646
random/large/ unif-k3-r4.2-v35000-c147000-S648642831-094-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3204602
random/large/ unif-k3-r4.2-v50000-c210000-S758437099-099-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3204586
random/large/ unif-k7-r85-v400-c34000-S927774663-037-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3204570
random/large/ unif-k3-r4.2-v20000-c84000-S525505471-054-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3204562
random/large/ unif-k3-r4.2-v20000-c84000-S357264423-067-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3204550
random/large/ unif-k7-r85-v200-c17000-S949556727-080-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3204534
random/large/ unif-k3-r4.2-v50000-c210000-S746725327-020-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3204474
random/large/ unif-k5-r20-v2000-c40000-S394483079-002-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3204466
random/large/ unif-k3-r4.2-v35000-c147000-S950666065-093-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3204454
random/large/ unif-k7-r85-v250-c21250-S894356234-063-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3204670
random/medium/ unif-k3-r4.26-v300-c1278-S1452052526-056.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3205234
random/large/ unif-k3-r4.2-v30000-c126000-S913491256-073-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3204398
random/large/ unif-k3-r4.2-v30000-c126000-S1196935200-064-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3204390
random/large/ unif-k3-r4.2-v25000-c105000-S1838224332-006-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3204386
random/large/ unif-k7-r85-v300-c25500-S966156467-066-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3204370
random/large/ unif-k3-r4.2-v30000-c126000-S629207485-001-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3204346
random/large/ unif-k3-r4.2-v50000-c210000-S874492400-019-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3204498
random/large/ unif-k5-r20-v1500-c30000-S877088425-001-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3204258
random/large/ unif-k3-r4.2-v50000-c210000-S1969540674-065-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3204250
random/large/ unif-k7-r85-v250-c21250-S1682211323-009-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3204226
random/large/ unif-k3-r4.2-v35000-c147000-S883457431-033-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3204198
random/medium/ unif-k3-r4.26-v300-c1278-S1569819208-064.UNKNOWN.cnf	? (TO)	1300.05	1300.01	3205154
random/medium/ unif-k3-r4.26-v600-c2556-S506401817-075.UNKNOWN.cnf	? (TO)	1300.05	1300.01	3206130
random/medium/ unif-k3-r4.26-v600-c2556-S1734827769-099.UNKNOWN.cnf	? (TO)	1300.05	1300.01	3205178
random/medium/ unif-k3-r4.26-v400-c1704-S690749326-001.UNKNOWN.cnf	? (TO)	1300.05	1300.01	3206138
random/medium/ unif-k3-r4.26-v450-c1917-S1008065350-031.UNKNOWN.cnf	? (TO)	1300.05	1300.01	3205194
random/medium/ unif-k3-r4.26-v700-c2982-S899463426-096.UNKNOWN.cnf	? (TO)	1300.05	1300.01	3205226
random/medium/ unif-k5-r21.3-v50-c1065-S1990278523-047.UNKNOWN.cnf	? (TO)	1300.05	1300.01	3206150
random/large/ unif-k3-r4.2-v15000-c63000-S89201333-019-UNKNOWN.cnf	? (TO)	1300.05	1300.01	3204638
random/large/ unif-k3-r4.2-v40000-c168000-S64788608-008-UNKNOWN.cnf	? (TO)	1300.05	1300.01	3204634
random/large/ unif-k5-r20-v2000-c40000-S837431592-027-UNKNOWN.cnf	? (TO)	1300.05	1300.01	3204630
random/large/ unif-k3-r4.2-v20000-c84000-S1778371838-017-UNKNOWN.cnf	? (TO)	1300.05	1300.01	3204326
random/large/ unif-k7-r85-v200-c17000-S181603592-089-UNKNOWN.cnf	? (TO)	1300.05	1300.01	3204314
random/medium/ unif-k3-r4.26-v500-c2130-S1762880211-075.UNKNOWN.cnf	? (TO)	1300.05	1300.01	3205006
random/medium/ unif-k3-r4.26-v650-c2769-S1235135694-059.UNKNOWN.cnf	? (TO)	1300.05	1300.01	3205678
random/medium/ unif-k7-r89-v60-c5340-S2117313371-002.UNKNOWN.cnf	? (TO)	1300.05	1300.01	3206522
random/large/ unif-k3-r4.2-v25000-c105000-S919014656-003-UNKNOWN.cnf	? (TO)	1300.05	1300.01	3204974
random/large/ unif-k3-r4.2-v50000-c210000-S964643921-035-UNKNOWN.cnf	? (TO)	1300.05	1300.01	3204970
random/medium/ unif-k3-r4.26-v450-c1917-S1959079526-027.UNKNOWN.cnf	? (TO)	1300.05	1300.01	3206530
random/large/ unif-k7-r85-v400-c34000-S1163171897-095-UNKNOWN.cnf	? (TO)	1300.05	1300.01	3204746
random/medium/ unif-k3-r4.26-v650-c2769-S510739670-068.UNKNOWN.cnf	? (TO)	1300.05	1300.01	3205990
random/large/ unif-k5-r20-v1500-c30000-S377999798-061-UNKNOWN.cnf	? (TO)	1300.05	1300.01	3204722
random/large/ unif-k5-r20-v1250-c25000-S871131876-087-UNKNOWN.cnf	? (TO)	1300.05	1300.01	3204962
random/large/ unif-k5-r20-v2000-c40000-S1993071608-084-UNKNOWN.cnf	? (TO)	1300.05	1300.01	3204714
random/medium/ unif-k5-r21.3-v75-c1597-S295912653-089.UNKNOWN.cnf	? (TO)	1300.05	1300.01	3205290
random/large/ unif-k5-r20-v1500-c30000-S969405384-096-UNKNOWN.cnf	? (TO)	1300.05	1300.01	3204610
random/medium/ unif-k3-r4.26-v500-c2130-S1383368897-031.UNKNOWN.cnf	? (TO)	1300.05	1300.01	3205326
random/medium/ unif-k3-r4.26-v550-c2343-S1693168158-005.UNKNOWN.cnf	? (TO)	1300.05	1300.01	3206386
random/large/ unif-k3-r4.2-v40000-c168000-S1184456903-078-UNKNOWN.cnf	? (TO)	1300.05	1300.01	3204598
random/medium/ unif-k5-r21.3-v50-c1065-S505037856-056.UNKNOWN.cnf	? (TO)	1300.05	1300.01	3206414
random/large/ unif-k3-r4.2-v20000-c84000-S493397373-056-UNKNOWN.cnf	? (TO)	1300.05	1300.01	3204582
random/medium/ unif-k7-r89-v90-c8010-S1897189325-062.UNKNOWN.cnf	? (TO)	1300.05	1300.01	3206382
random/large/ unif-k3-r4.2-v30000-c126000-S858279511-076-UNKNOWN.cnf	? (TO)	1300.05	1300.01	3204558
random/medium/ unif-k3-r4.26-v400-c1704-S1536900137-053.UNKNOWN.cnf	? (TO)	1300.05	1300.01	3205346
random/medium/ unif-k5-r21.3-v75-c1597-S1750722942-074.UNKNOWN.cnf	? (TO)	1300.05	1300.01	3206426
random/medium/ unif-k3-r4.26-v500-c2130-S1085677759-100.UNKNOWN.cnf	? (TO)	1300.05	1300.01	3205418
random/medium/ unif-k5-r21.3-v150-c3195-S1502652578-043.UNKNOWN.cnf	? (TO)	1300.05	1300.01	3205710
random/medium/ unif-k5-r21.3-v100-c2130-S815408325-054.UNKNOWN.cnf	? (TO)	1300.05	1300.01	3206454
random/medium/ unif-k7-r89-v50-c4450-S708803296-021.UNKNOWN.cnf	? (TO)	1300.05	1300.01	3206538
random/large/ unif-k3-r4.2-v25000-c105000-S109959541-056-UNKNOWN.cnf	? (TO)	1300.05	1300.01	3204470
random/medium/ unif-k3-r4.26-v500-c2130-S2061684506-048.UNKNOWN.cnf	? (TO)	1300.05	1300.01	3206302
random/medium/ unif-k3-r4.26-v600-c2556-S1885965779-049.UNKNOWN.cnf	? (TO)	1300.05	1300.01	3206546
random/large/ unif-k3-r4.2-v40000-c168000-S709305826-098-UNKNOWN.cnf	? (TO)	1300.05	1300.01	3204446
random/medium/ unif-k3-r4.26-v400-c1704-S1635333981-027.UNKNOWN.cnf	? (TO)	1300.05	1300.01	3205726
random/medium/ unif-k7-r89-v70-c6230-S1960545292-083.UNKNOWN.cnf	? (TO)	1300.05	1300.01	3206378
random/medium/ unif-k7-r89-v60-c5340-S1720200795-004.UNKNOWN.cnf	? (TO)	1300.05	1300.01	3205730
random/medium/ unif-k7-r89-v70-c6230-S289144908-090.UNKNOWN.cnf	? (TO)	1300.05	1300.01	3205742
random/medium/ unif-k3-r4.26-v350-c1491-S761041117-050.UNKNOWN.cnf	? (TO)	1300.05	1300.01	3206550
random/medium/ unif-k5-r21.3-v100-c2130-S360859187-040.UNKNOWN.cnf	? (TO)	1300.05	1300.01	3205770
random/medium/ unif-k7-r89-v90-c8010-S1458811765-091.UNKNOWN.cnf	? (TO)	1300.05	1300.01	3206554
random/medium/ unif-k3-r4.26-v450-c1917-S16302531-099.UNKNOWN.cnf	? (TO)	1300.05	1300.01	3206286
random/medium/ unif-k7-r89-v90-c8010-S741717046-057.UNKNOWN.cnf	? (TO)	1300.05	1300.01	3206294
random/medium/ unif-k3-r4.26-v650-c2769-S910125393-002.UNKNOWN.cnf	? (TO)	1300.05	1300.01	3205782
random/large/ unif-k7-r85-v300-c25500-S942666749-061-UNKNOWN.cnf	? (TO)	1300.05	1300.03	3204334
random/large/ unif-k3-r4.2-v50000-c210000-S957916968-041-UNKNOWN.cnf	? (TO)	1300.05	1300.01	3204366
random/medium/ unif-k3-r4.26-v700-c2982-S1230934123-063.UNKNOWN.cnf	? (TO)	1300.05	1300.01	3205786
random/large/ unif-k7-r85-v400-c34000-S586055573-067-UNKNOWN.cnf	? (TO)	1300.05	1300.01	3204842
random/large/ unif-k3-r4.2-v50000-c210000-S517749870-003-UNKNOWN.cnf	? (TO)	1300.05	1300.01	3204854
random/large/ unif-k5-r20-v2000-c40000-S922811046-076-UNKNOWN.cnf	? (TO)	1300.05	1300.01	3204866
random/large/ unif-k3-r4.2-v15000-c63000-S619136916-059-UNKNOWN.cnf	? (TO)	1300.05	1300.01	3204894
random/medium/ unif-k7-r89-v60-c5340-S614849838-039.UNKNOWN.cnf	? (TO)	1300.05	1300.01	3205526
random/medium/ unif-k5-r21.3-v125-c2662-S121099030-067.UNKNOWN.cnf	? (TO)	1300.05	1300.01	3205542
random/medium/ unif-k7-r89-v50-c4450-S1273410420-036.UNKNOWN.cnf	? (TO)	1300.05	1300.01	3205550
random/medium/ unif-k5-r21.3-v100-c2130-S2051088205-036.UNKNOWN.cnf	? (TO)	1300.05	1300.01	3205574
random/medium/ unif-k5-r21.3-v75-c1597-S428924146-076.UNKNOWN.cnf	? (TO)	1300.05	1300.01	3205790
random/medium/ unif-k3-r4.26-v250-c1065-S931339469-052.UNKNOWN.cnf	? (TO)	1300.05	1300.01	3205062
random/medium/ unif-k7-r89-v60-c5340-S113771637-026.UNKNOWN.cnf	? (TO)	1300.05	1300.01	3206298
random/medium/ unif-k7-r89-v80-c7120-S199880667-010.UNKNOWN.cnf	? (TO)	1300.05	1300.01	3205666
random/large/ unif-k3-r4.2-v10000-c42000-S709804505-031-UNKNOWN.cnf	? (TO)	1300.05	1300.01	3204342
random/medium/ unif-k5-r21.3-v150-c3195-S1653142431-025.UNKNOWN.cnf	? (TO)	1300.06	1300.01	3205270
random/medium/ unif-k3-r4.26-v550-c2343-S943066845-088.UNKNOWN.cnf	? (TO)	1300.06	1300.01	3205286
random/large/ unif-k5-r20-v2000-c40000-S971556279-001-UNKNOWN.cnf	? (TO)	1300.06	1300.01	3204710
random/large/ unif-k7-r85-v200-c17000-S335550727-070-UNKNOWN.cnf	? (TO)	1300.06	1300.01	3204698
random/large/ unif-k3-r4.2-v25000-c105000-S5267991-057-UNKNOWN.cnf	? (TO)	1300.06	1300.01	3204442
random/medium/ unif-k3-r4.26-v300-c1278-S862932513-073.UNKNOWN.cnf	? (TO)	1300.06	1300.01	3205650
random/large/ unif-k3-r4.2-v15000-c63000-S1201608256-021-UNKNOWN.cnf	? (TO)	1300.06	1300.01	3204434
random/medium/ unif-k3-r4.26-v550-c2343-S1663503036-045.UNKNOWN.cnf	? (TO)	1300.06	1300.01	3205330
random/medium/ unif-k7-r89-v60-c5340-S384085843-009.UNKNOWN.cnf	? (TO)	1300.06	1300.01	3205722
random/large/ unif-k3-r4.2-v25000-c105000-S808762165-030-UNKNOWN.cnf	? (TO)	1300.06	1300.01	3204950
random/large/ unif-k3-r4.2-v50000-c210000-S1170024351-015-UNKNOWN.cnf	? (TO)	1300.06	1300.01	3204958
random/large/ unif-k7-r85-v250-c21250-S317257086-003-UNKNOWN.cnf	? (TO)	1300.06	1300.01	3204490
random/medium/ unif-k7-r89-v90-c8010-S818753762-096.UNKNOWN.cnf	? (TO)	1300.06	1300.01	3204978

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

Result page for solver SAT09 reference solver: gnovelty+2 2009-03-22 (incomplete)

Category "random instances" (RANDOM)

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

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