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

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
random/medium/ unif-k3-r4.26-v350-c1491-S1077220429-098.SATISFIABLE.cnf	SAT	0.002999	0.00599093	3211052
random/medium/ unif-k3-r4.26-v350-c1491-S87195105-042.SATISFIABLE.cnf	SAT	0.002999	0.00598807	3211680
random/medium/ unif-k5-r21.3-v75-c1597-S25975519-056.SATISFIABLE.cnf	SAT	0.002999	0.00623608	3210532
random/medium/ unif-k3-r4.26-v450-c1917-S1097024859-001.SATISFIABLE.cnf	SAT	0.003999	0.00601294	3211416
random/medium/ unif-k3-r4.26-v350-c1491-S1946851065-023.SATISFIABLE.cnf	SAT	0.003999	0.00674001	3210336
random/medium/ unif-k5-r21.3-v75-c1597-S906725726-060.SATISFIABLE.cnf	SAT	0.003999	0.00648695	3211340
random/medium/ unif-k3-r4.26-v500-c2130-S9113894-047.SATISFIABLE.cnf	SAT	0.004999	0.00605107	3211448
random/medium/ unif-k3-r4.26-v400-c1704-S1440346932-010.SATISFIABLE.cnf	SAT	0.004999	0.00595997	3211572
random/medium/ unif-k5-r21.3-v75-c1597-S1366648725-024.SATISFIABLE.cnf	SAT	0.004999	0.00604109	3210372
random/medium/ unif-k3-r4.26-v400-c1704-S913455068-085.SATISFIABLE.cnf	SAT	0.005999	0.00612899	3211724
random/medium/ unif-k3-r4.26-v350-c1491-S1060672754-058.SATISFIABLE.cnf	SAT	0.005999	0.00646789	3211204
random/medium/ unif-k3-r4.26-v350-c1491-S1914191877-004.SATISFIABLE.cnf	SAT	0.005999	0.00690488	3210896
random/medium/ unif-k3-r4.26-v600-c2556-S735137557-045.SATISFIABLE.cnf	SAT	0.005999	0.00670389	3211384
random/medium/ unif-k3-r4.26-v450-c1917-S1915396418-078.SATISFIABLE.cnf	SAT	0.006998	0.00687095	3210684
random/medium/ unif-k5-r21.3-v125-c2662-S1396350646-062.SATISFIABLE.cnf	SAT	0.006998	0.00668008	3211328
random/medium/ unif-k3-r4.26-v350-c1491-S946474812-075.SATISFIABLE.cnf	SAT	0.006998	0.00719501	3211080
random/medium/ unif-k3-r4.26-v700-c2982-S171669125-021.SATISFIABLE.cnf	SAT	0.007997	0.00747088	3211016
random/medium/ unif-k5-r21.3-v75-c1597-S1009664450-096.SATISFIABLE.cnf	SAT	0.007998	0.00783292	3211404
random/medium/ unif-k3-r4.26-v400-c1704-S1023920765-089.SATISFIABLE.cnf	SAT	0.007998	0.00762597	3211480
random/medium/ unif-k3-r4.26-v400-c1704-S1462223811-042.SATISFIABLE.cnf	SAT	0.007998	0.0077599	3210840
random/medium/ unif-k3-r4.26-v500-c2130-S31329941-054.SATISFIABLE.cnf	SAT	0.007998	0.00833893	3210588
random/medium/ unif-k3-r4.26-v550-c2343-S1940049314-069.SATISFIABLE.cnf	SAT	0.007998	0.00959711	3211632
random/medium/ unif-k3-r4.26-v350-c1491-S1794283924-053.SATISFIABLE.cnf	SAT	0.007998	0.0085349	3211116
random/medium/ unif-k3-r4.26-v350-c1491-S773607012-011.SATISFIABLE.cnf	SAT	0.008998	0.00897291	3211296
random/medium/ unif-k5-r21.3-v75-c1597-S445191369-092.SATISFIABLE.cnf	SAT	0.008998	0.00939499	3211400
random/medium/ unif-k5-r21.3-v75-c1597-S1129651135-081.SATISFIABLE.cnf	SAT	0.008998	0.00945996	3211300
random/medium/ unif-k3-r4.26-v550-c2343-S1610857498-043.SATISFIABLE.cnf	SAT	0.010997	0.0106521	3211508
random/medium/ unif-k3-r4.26-v450-c1917-S2083898043-071.SATISFIABLE.cnf	SAT	0.011997	0.0120279	3211276
random/medium/ unif-k3-r4.26-v400-c1704-S1960786523-069.SATISFIABLE.cnf	SAT	0.011998	0.012367	3210808
random/medium/ unif-k3-r4.26-v450-c1917-S222128792-011.SATISFIABLE.cnf	SAT	0.011998	0.0137831	3211256
random/medium/ unif-k5-r21.3-v100-c2130-S1980330668-030.SATISFIABLE.cnf	SAT	0.012997	0.0146439	3211744
random/medium/ unif-k5-r21.3-v100-c2130-S196779284-038.SATISFIABLE.cnf	SAT	0.014997	0.0163371	3211552
random/medium/ unif-k3-r4.26-v400-c1704-S183128297-005.SATISFIABLE.cnf	SAT	0.017996	0.018275	3211236
random/medium/ unif-k5-r21.3-v75-c1597-S1214523131-078.SATISFIABLE.cnf	SAT	0.017997	0.023663	3211544
random/medium/ unif-k5-r21.3-v125-c2662-S436871389-051.SATISFIABLE.cnf	SAT	0.019996	0.020139	3210456
random/medium/ unif-k3-r4.26-v500-c2130-S831119356-083.SATISFIABLE.cnf	SAT	0.019996	0.0206059	3211476
random/medium/ unif-k3-r4.26-v800-c3408-S91768321-029.SATISFIABLE.cnf	SAT	0.021996	0.0231609	3211808
random/medium/ unif-k5-r21.3-v100-c2130-S1574817612-041.SATISFIABLE.cnf	SAT	0.022995	0.0226141	3210536
random/medium/ unif-k3-r4.26-v550-c2343-S960198064-030.SATISFIABLE.cnf	SAT	0.023995	0.024107	3210924
random/medium/ unif-k3-r4.26-v400-c1704-S1050579435-065.SATISFIABLE.cnf	SAT	0.024996	0.025143	3210912
random/medium/ unif-k3-r4.26-v550-c2343-S107514131-038.SATISFIABLE.cnf	SAT	0.026995	0.0298481	3211736
random/medium/ unif-k5-r21.3-v100-c2130-S1926673460-089.SATISFIABLE.cnf	SAT	0.027994	0.0275761	3210608
random/medium/ unif-k3-r4.26-v450-c1917-S386464511-018.SATISFIABLE.cnf	SAT	0.028995	0.029601	3211144
random/medium/ unif-k3-r4.26-v600-c2556-S379672572-039.SATISFIABLE.cnf	SAT	0.028995	0.0293269	3210864
random/medium/ unif-k3-r4.26-v500-c2130-S1563258922-027.SATISFIABLE.cnf	SAT	0.028995	0.029599	3211120
random/medium/ unif-k7-r89-v70-c6230-S1335110382-066.SATISFIABLE.cnf	SAT	0.029995	0.0328469	3210956
random/medium/ unif-k5-r21.3-v175-c3727-S1110880865-004.SATISFIABLE.cnf	SAT	0.030995	0.0314901	3210248
random/medium/ unif-k3-r4.26-v500-c2130-S1280860344-022.SATISFIABLE.cnf	SAT	0.030995	0.0308749	3211668
random/medium/ unif-k3-r4.26-v450-c1917-S2088689288-085.SATISFIABLE.cnf	SAT	0.030995	0.0318181	3211684
random/medium/ unif-k7-r89-v50-c4450-S864690872-081.SATISFIABLE.cnf	SAT	0.032994	0.0333251	3211012
random/medium/ unif-k7-r89-v50-c4450-S1786071619-083.SATISFIABLE.cnf	SAT	0.032994	0.033777	3210928
random/medium/ unif-k3-r4.26-v500-c2130-S204737200-067.SATISFIABLE.cnf	SAT	0.033993	0.0339251	3211712
random/medium/ unif-k3-r4.26-v550-c2343-S1552308135-080.SATISFIABLE.cnf	SAT	0.033994	0.0365389	3211148
random/medium/ unif-k3-r4.26-v550-c2343-S927210717-059.SATISFIABLE.cnf	SAT	0.036994	0.0377919	3211308
random/medium/ unif-k3-r4.26-v800-c3408-S1536861174-069.SATISFIABLE.cnf	SAT	0.037994	0.0389599	3211180
random/medium/ unif-k3-r4.26-v800-c3408-S456969343-019.SATISFIABLE.cnf	SAT	0.038994	0.0399409	3210836
random/medium/ unif-k5-r21.3-v75-c1597-S241605246-015.SATISFIABLE.cnf	SAT	0.038994	0.039724	3211172
random/medium/ unif-k5-r21.3-v175-c3727-S752966552-099.SATISFIABLE.cnf	SAT	0.039993	0.0406781	3210648
random/medium/ unif-k3-r4.26-v700-c2982-S1744841484-003.SATISFIABLE.cnf	SAT	0.041993	0.042943	3211716
random/medium/ unif-k5-r21.3-v125-c2662-S464722883-083.SATISFIABLE.cnf	SAT	0.041993	0.0429969	3211260
random/medium/ unif-k3-r4.26-v650-c2769-S30721646-064.SATISFIABLE.cnf	SAT	0.043993	0.0450179	3211284
random/medium/ unif-k5-r21.3-v100-c2130-S20037494-023.SATISFIABLE.cnf	SAT	0.043993	0.044687	3210396
random/medium/ unif-k7-r89-v50-c4450-S1496316430-079.SATISFIABLE.cnf	SAT	0.044992	0.0454101	3211720
random/medium/ unif-k7-r89-v50-c4450-S879384975-017.SATISFIABLE.cnf	SAT	0.044993	0.046101	3210708
random/medium/ unif-k3-r4.26-v550-c2343-S311101868-094.SATISFIABLE.cnf	SAT	0.045992	0.0461189	3211380
random/medium/ unif-k3-r4.26-v700-c2982-S1617172756-030.SATISFIABLE.cnf	SAT	0.045993	0.0464131	3211444
random/medium/ unif-k7-r89-v50-c4450-S675112162-053.SATISFIABLE.cnf	SAT	0.046992	0.0464369	3211136
random/medium/ unif-k3-r4.26-v650-c2769-S1261029273-036.SATISFIABLE.cnf	SAT	0.047991	0.0479119	3211576
random/medium/ unif-k3-r4.26-v450-c1917-S1617626827-069.SATISFIABLE.cnf	SAT	0.050992	0.0518309	3211292
random/medium/ unif-k3-r4.26-v650-c2769-S1894319588-015.SATISFIABLE.cnf	SAT	0.052991	0.053291	3210640
random/medium/ unif-k5-r21.3-v100-c2130-S1189700536-035.SATISFIABLE.cnf	SAT	0.054991	0.0559299	3210440
random/medium/ unif-k3-r4.26-v550-c2343-S2058622508-076.SATISFIABLE.cnf	SAT	0.054991	0.0572201	3210908
random/medium/ unif-k3-r4.26-v550-c2343-S1114532273-035.SATISFIABLE.cnf	SAT	0.055991	0.0571759	3211084
random/medium/ unif-k3-r4.26-v750-c3195-S973075635-083.SATISFIABLE.cnf	SAT	0.056991	0.0571791	3210632
random/medium/ unif-k3-r4.26-v650-c2769-S466707249-079.SATISFIABLE.cnf	SAT	0.056991	0.057225	3211584
random/medium/ unif-k5-r21.3-v100-c2130-S707565158-096.SATISFIABLE.cnf	SAT	0.05799	0.0582499	3210560
random/medium/ unif-k3-r4.26-v700-c2982-S1863077195-052.SATISFIABLE.cnf	SAT	0.06099	0.0657201	3211372
random/medium/ unif-k7-r89-v50-c4450-S1788358104-029.SATISFIABLE.cnf	SAT	0.06099	0.0619521	3211464
random/medium/ unif-k3-r4.26-v500-c2130-S840902310-084.SATISFIABLE.cnf	SAT	0.062989	0.0629019	3211600
random/medium/ unif-k5-r21.3-v150-c3195-S1787844685-006.SATISFIABLE.cnf	SAT	0.06399	0.0636701	3211732
random/medium/ unif-k3-r4.26-v800-c3408-S902286199-017.SATISFIABLE.cnf	SAT	0.06499	0.064553	3211488
random/medium/ unif-k3-r4.26-v600-c2556-S727005963-093.SATISFIABLE.cnf	SAT	0.069988	0.0699879	3211156
random/medium/ unif-k3-r4.26-v550-c2343-S874954918-011.SATISFIABLE.cnf	SAT	0.070988	0.0729199	3210624
random/medium/ unif-k3-r4.26-v700-c2982-S900569154-026.SATISFIABLE.cnf	SAT	0.070989	0.0710849	3210376
random/medium/ unif-k7-r89-v60-c5340-S630613738-050.SATISFIABLE.cnf	SAT	0.071989	0.0718811	3211344
random/medium/ unif-k3-r4.26-v750-c3195-S1115406553-014.SATISFIABLE.cnf	SAT	0.075988	0.076444	3211804
random/medium/ unif-k3-r4.26-v750-c3195-S1985868475-070.SATISFIABLE.cnf	SAT	0.077988	0.0780149	3210380
random/medium/ unif-k3-r4.26-v800-c3408-S1631205309-024.SATISFIABLE.cnf	SAT	0.077988	0.0804819	3210348
random/medium/ unif-k5-r21.3-v125-c2662-S1300400916-048.SATISFIABLE.cnf	SAT	0.079987	0.0807431	3211264
random/medium/ unif-k3-r4.26-v450-c1917-S380157195-014.SATISFIABLE.cnf	SAT	0.082987	0.0836351	3210340
random/medium/ unif-k3-r4.26-v600-c2556-S373048162-052.SATISFIABLE.cnf	SAT	0.083987	0.0845361	3210548
random/medium/ unif-k5-r21.3-v75-c1597-S2038462183-033.SATISFIABLE.cnf	SAT	0.086986	0.0869371	3210760
random/medium/ unif-k3-r4.26-v450-c1917-S2065964480-034.SATISFIABLE.cnf	SAT	0.087986	0.0881419	3210636
random/medium/ unif-k3-r4.26-v600-c2556-S252359291-002.SATISFIABLE.cnf	SAT	0.091986	0.0928299	3211068
random/medium/ unif-k7-r89-v50-c4450-S422404201-035.SATISFIABLE.cnf	SAT	0.093985	0.0950241	3211548
random/medium/ unif-k7-r89-v50-c4450-S768928417-025.SATISFIABLE.cnf	SAT	0.106983	0.107529	3210556
random/medium/ unif-k3-r4.26-v800-c3408-S846876765-035.SATISFIABLE.cnf	SAT	0.113982	0.114828	3211660
random/medium/ unif-k3-r4.26-v700-c2982-S115072124-051.SATISFIABLE.cnf	SAT	0.118981	0.119252	3211356
random/medium/ unif-k3-r4.26-v650-c2769-S1920526651-049.SATISFIABLE.cnf	SAT	0.121981	0.122407	3210816
random/medium/ unif-k3-r4.26-v350-c1491-S1507171828-044.SATISFIABLE.cnf	SAT	0.121981	0.123408	3211128
random/medium/ unif-k3-r4.26-v650-c2769-S525571208-063.SATISFIABLE.cnf	SAT	0.127979	0.127712	3210408
random/medium/ unif-k5-r21.3-v100-c2130-S328068950-002.SATISFIABLE.cnf	SAT	0.136979	0.138596	3210952
random/medium/ unif-k3-r4.26-v350-c1491-S146789605-022.SATISFIABLE.cnf	SAT	0.139977	0.139931	3210712
random/medium/ unif-k3-r4.26-v600-c2556-S1383380994-043.SATISFIABLE.cnf	SAT	0.140978	0.142435	3211564
random/medium/ unif-k7-r89-v80-c7120-S153059456-076.SATISFIABLE.cnf	SAT	0.142977	0.142879	3211140
random/medium/ unif-k3-r4.26-v700-c2982-S628307658-028.SATISFIABLE.cnf	SAT	0.143978	0.144164	3210668
random/medium/ unif-k7-r89-v80-c7120-S1957603206-080.SATISFIABLE.cnf	SAT	0.151976	0.152403	3211580
random/medium/ unif-k3-r4.26-v400-c1704-S823305148-084.SATISFIABLE.cnf	SAT	0.155976	0.156182	3210296
random/large/ unif-k3-r4.2-v2500-c10500-S89508070-083-UNKNOWN.cnf	SAT	0.155976	0.156259	3209968
random/medium/ unif-k7-r89-v60-c5340-S239039906-021.SATISFIABLE.cnf	SAT	0.163974	0.163949	3210460
random/medium/ unif-k5-r21.3-v75-c1597-S1636883934-028.SATISFIABLE.cnf	SAT	0.170973	0.171027	3211108
random/medium/ unif-k3-r4.26-v800-c3408-S1831593686-090.SATISFIABLE.cnf	SAT	0.170973	0.171451	3210444
random/medium/ unif-k3-r4.26-v600-c2556-S610796494-086.SATISFIABLE.cnf	SAT	0.173972	0.173341	3211428
random/medium/ unif-k3-r4.26-v650-c2769-S4140122-004.SATISFIABLE.cnf	SAT	0.178971	0.179323	3211436
random/medium/ unif-k5-r21.3-v150-c3195-S334650851-022.SATISFIABLE.cnf	SAT	0.179972	0.180036	3210412
random/medium/ unif-k7-r89-v80-c7120-S1147977026-087.SATISFIABLE.cnf	SAT	0.179972	0.180049	3210232
random/medium/ unif-k5-r21.3-v100-c2130-S1880411078-058.SATISFIABLE.cnf	SAT	0.185971	0.186194	3210664
random/medium/ unif-k3-r4.26-v400-c1704-S930506247-025.SATISFIABLE.cnf	SAT	0.188971	0.189291	3210492
random/medium/ unif-k5-r21.3-v125-c2662-S34055288-072.SATISFIABLE.cnf	SAT	0.196969	0.197365	3210880
random/medium/ unif-k3-r4.26-v750-c3195-S664770261-061.SATISFIABLE.cnf	SAT	0.198968	0.198992	3210488
random/medium/ unif-k7-r89-v50-c4450-S1430772875-039.SATISFIABLE.cnf	SAT	0.202968	0.204238	3210424
random/medium/ unif-k5-r21.3-v175-c3727-S1592669696-022.SATISFIABLE.cnf	SAT	0.209968	0.210474	3211208
random/medium/ unif-k7-r89-v60-c5340-S385597856-055.SATISFIABLE.cnf	SAT	0.225965	0.226766	3211412
random/medium/ unif-k7-r89-v50-c4450-S1087312438-073.SATISFIABLE.cnf	SAT	0.228965	0.230693	3210692
random/medium/ unif-k3-r4.26-v450-c1917-S528475885-007.SATISFIABLE.cnf	SAT	0.259959	0.260048	3210920
random/medium/ unif-k7-r89-v70-c6230-S1555786344-071.SATISFIABLE.cnf	SAT	0.269958	0.270029	3210240
random/medium/ unif-k3-r4.26-v750-c3195-S1378008329-078.SATISFIABLE.cnf	SAT	0.271958	0.272584	3210520
random/medium/ unif-k5-r21.3-v150-c3195-S1216095115-028.SATISFIABLE.cnf	SAT	0.307953	0.308637	3210820
random/medium/ unif-k3-r4.26-v800-c3408-S890760919-021.SATISFIABLE.cnf	SAT	0.313952	0.314925	3211288
random/medium/ unif-k3-r4.26-v750-c3195-S576842028-023.SATISFIABLE.cnf	SAT	0.345946	0.348176	3210940
random/medium/ unif-k5-r21.3-v125-c2662-S1258495116-025.SATISFIABLE.cnf	SAT	0.401938	0.402962	3210552
random/medium/ unif-k3-r4.26-v500-c2130-S1263625223-038.SATISFIABLE.cnf	SAT	0.417936	0.41809	3210256
random/medium/ unif-k5-r21.3-v125-c2662-S236776564-037.SATISFIABLE.cnf	SAT	0.449931	0.450578	3211672
random/medium/ unif-k5-r21.3-v125-c2662-S218235649-089.SATISFIABLE.cnf	SAT	0.450931	0.454385	3211636
random/medium/ unif-k3-r4.26-v650-c2769-S1495462442-016.SATISFIABLE.cnf	SAT	0.45393	0.454863	3210288
random/medium/ unif-k5-r21.3-v175-c3727-S110935064-075.SATISFIABLE.cnf	SAT	0.489924	0.489684	3210688
random/medium/ unif-k3-r4.26-v500-c2130-S481747904-003.SATISFIABLE.cnf	SAT	0.492925	0.49349	3210612
random/medium/ unif-k5-r21.3-v125-c2662-S675870149-098.SATISFIABLE.cnf	SAT	0.553914	0.554039	3210976
random/medium/ unif-k5-r21.3-v175-c3727-S520872997-084.SATISFIABLE.cnf	SAT	0.568913	0.569676	3210264
random/medium/ unif-k3-r4.26-v750-c3195-S2050161601-088.SATISFIABLE.cnf	SAT	0.601907	0.602048	3210824
random/medium/ unif-k7-r89-v60-c5340-S969033069-088.SATISFIABLE.cnf	SAT	0.638902	0.638905	3211740
random/medium/ unif-k3-r4.26-v700-c2982-S812011128-009.SATISFIABLE.cnf	SAT	0.678895	0.678681	3211752
random/medium/ unif-k5-r21.3-v100-c2130-S332580795-055.SATISFIABLE.cnf	SAT	0.760884	0.761719	3211772
random/medium/ unif-k7-r89-v60-c5340-S1141565617-016.SATISFIABLE.cnf	SAT	0.777881	0.778803	3210316
random/medium/ unif-k5-r21.3-v150-c3195-S1499315720-089.SATISFIABLE.cnf	SAT	0.832873	0.833645	3211332
random/medium/ unif-k3-r4.26-v600-c2556-S1468528501-076.SATISFIABLE.cnf	SAT	1.10083	1.10075	3210644
random/medium/ unif-k7-r89-v70-c6230-S944754256-018.SATISFIABLE.cnf	SAT	1.3218	1.32221	3210228
random/medium/ unif-k7-r89-v60-c5340-S388186442-035.SATISFIABLE.cnf	SAT	1.3258	1.32528	3211352
random/medium/ unif-k7-r89-v70-c6230-S1321356000-046.SATISFIABLE.cnf	SAT	1.41678	1.41631	3211088
random/medium/ unif-k7-r89-v90-c8010-S64052796-033.SATISFIABLE.cnf	SAT	1.42578	1.42595	3210744
random/large/ unif-k3-r4.2-v2500-c10500-S1300417189-038-UNKNOWN.cnf	SAT	1.48777	1.48773	3209560
random/medium/ unif-k7-r89-v60-c5340-S1982873755-080.SATISFIABLE.cnf	SAT	1.62675	1.62718	3211212
random/medium/ unif-k5-r21.3-v150-c3195-S1650617512-037.SATISFIABLE.cnf	SAT	1.85872	1.85886	3211700
random/medium/ unif-k7-r89-v60-c5340-S1458986015-022.SATISFIABLE.cnf	SAT	1.86572	1.86664	3210856
random/large/ unif-k3-r4.2-v2500-c10500-S1201761407-024-UNKNOWN.cnf	SAT	1.87071	1.87098	3210052
random/medium/ unif-k3-r4.26-v500-c2130-S261841674-082.SATISFIABLE.cnf	SAT	1.88471	1.88467	3211032
random/medium/ unif-k5-r21.3-v150-c3195-S1428216398-076.SATISFIABLE.cnf	SAT	1.91071	1.91071	3211056
random/medium/ unif-k3-r4.26-v650-c2769-S1402967451-034.SATISFIABLE.cnf	SAT	1.9947	1.99524	3211676
random/large/ unif-k3-r4.2-v2500-c10500-S722024572-014-UNKNOWN.cnf	SAT	2.03869	2.04	3209620
random/medium/ unif-k7-r89-v70-c6230-S1018943457-089.SATISFIABLE.cnf	SAT	2.08268	2.08351	3211000
random/medium/ unif-k3-r4.26-v700-c2982-S608588601-044.SATISFIABLE.cnf	SAT	2.19667	2.19861	3211316
random/medium/ unif-k3-r4.26-v750-c3195-S397702672-080.SATISFIABLE.cnf	SAT	2.23666	2.23672	3211780
random/medium/ unif-k7-r89-v70-c6230-S314780693-050.SATISFIABLE.cnf	SAT	2.32165	2.32205	3211528
random/medium/ unif-k7-r89-v70-c6230-S1351138814-007.SATISFIABLE.cnf	SAT	2.51462	2.51498	3210796
random/medium/ unif-k7-r89-v90-c8010-S501033814-049.SATISFIABLE.cnf	SAT	2.53961	2.54032	3211304
random/medium/ unif-k7-r89-v80-c7120-S1639347701-083.SATISFIABLE.cnf	SAT	2.68259	2.68292	3211112
random/medium/ unif-k5-r21.3-v175-c3727-S100095490-071.SATISFIABLE.cnf	SAT	2.93655	2.93686	3210984
random/medium/ unif-k7-r89-v90-c8010-S224440242-006.SATISFIABLE.cnf	SAT	2.93655	2.93763	3211688
random/medium/ unif-k7-r89-v60-c5340-S1510638717-051.SATISFIABLE.cnf	SAT	3.07453	3.07691	3211160
random/medium/ unif-k3-r4.26-v600-c2556-S2050053883-062.SATISFIABLE.cnf	SAT	3.08653	3.08641	3211320
random/large/ unif-k3-r4.2-v2500-c10500-S49783605-066-UNKNOWN.cnf	SAT	3.18751	3.18877	3209992
random/medium/ unif-k7-r89-v90-c8010-S2014736708-037.SATISFIABLE.cnf	SAT	3.21251	3.21268	3210680
random/medium/ unif-k5-r21.3-v150-c3195-S1116496771-020.SATISFIABLE.cnf	SAT	3.48647	3.48743	3210512
random/large/ unif-k7-r85-v150-c12750-S1737989193-079-UNKNOWN.cnf	SAT	3.54546	3.54621	3210064
random/medium/ unif-k3-r4.26-v600-c2556-S2019147653-030.SATISFIABLE.cnf	SAT	3.83942	3.83954	3210732
random/medium/ unif-k7-r89-v70-c6230-S2143190124-085.SATISFIABLE.cnf	SAT	3.87841	3.88049	3210620
random/medium/ unif-k7-r89-v70-c6230-S1846644927-079.SATISFIABLE.cnf	SAT	4.04838	4.05167	3210224
random/medium/ unif-k3-r4.26-v800-c3408-S1534711423-054.SATISFIABLE.cnf	SAT	4.32834	4.32874	3210892
random/medium/ unif-k7-r89-v60-c5340-S1583005701-053.SATISFIABLE.cnf	SAT	4.47132	4.47175	3211184
random/medium/ unif-k5-r21.3-v150-c3195-S1579607106-017.SATISFIABLE.cnf	SAT	4.5913	4.5913	3210448
random/medium/ unif-k7-r89-v90-c8010-S271997978-024.SATISFIABLE.cnf	SAT	4.83426	4.83471	3211456
random/medium/ unif-k7-r89-v80-c7120-S175431861-098.SATISFIABLE.cnf	SAT	4.97024	4.97137	3210752
random/medium/ unif-k7-r89-v70-c6230-S2045410966-069.SATISFIABLE.cnf	SAT	5.07623	5.07748	3211272
random/medium/ unif-k7-r89-v80-c7120-S474185167-033.SATISFIABLE.cnf	SAT	5.16521	5.16572	3210704
random/medium/ unif-k7-r89-v80-c7120-S1623694027-006.SATISFIABLE.cnf	SAT	5.57315	5.5731	3210404
random/large/ unif-k3-r4.2-v2500-c10500-S924370159-018-UNKNOWN.cnf	SAT	5.59115	5.592	3209508
random/medium/ unif-k3-r4.26-v400-c1704-S1864619158-076.SATISFIABLE.cnf	SAT	5.65414	5.65377	3210312
random/medium/ unif-k3-r4.26-v800-c3408-S852188518-088.SATISFIABLE.cnf	SAT	5.86711	5.86759	3210276
random/medium/ unif-k5-r21.3-v125-c2662-S446351158-079.SATISFIABLE.cnf	SAT	5.9351	5.93623	3210944
random/medium/ unif-k5-r21.3-v150-c3195-S259896945-079.SATISFIABLE.cnf	SAT	6.586	6.58661	3210852
random/large/ unif-k3-r4.2-v2500-c10500-S1907658523-004-UNKNOWN.cnf	SAT	7.63084	7.63108	3210004
random/medium/ unif-k7-r89-v80-c7120-S513640009-027.SATISFIABLE.cnf	SAT	7.8868	7.88656	3211432
random/medium/ unif-k7-r89-v80-c7120-S1254315629-032.SATISFIABLE.cnf	SAT	8.27074	8.27205	3210828
random/medium/ unif-k3-r4.26-v750-c3195-S158767647-027.SATISFIABLE.cnf	SAT	8.95164	8.9517	3211040
random/medium/ unif-k7-r89-v90-c8010-S2039249975-038.SATISFIABLE.cnf	SAT	9.44656	9.4472	3211640
random/large/ unif-k3-r4.2-v10000-c42000-S677627694-051-UNKNOWN.cnf	SAT	10.6594	10.6614	3210128
random/large/ unif-k5-r20-v750-c15000-S656533785-100-UNKNOWN.cnf	SAT	12.5941	12.5948	3210036
random/medium/ unif-k3-r4.26-v750-c3195-S8215859-049.SATISFIABLE.cnf	SAT	13.352	13.3522	3210252
random/medium/ unif-k7-r89-v80-c7120-S2107193201-069.UNKNOWN.cnf	SAT	13.6189	13.6192	3210652
random/medium/ unif-k3-r4.26-v650-c2769-S1069233620-009.SATISFIABLE.cnf	SAT	13.8589	13.8605	3211240
random/large/ unif-k3-r4.2-v2500-c10500-S374960214-041-UNKNOWN.cnf	SAT	14.0349	14.0347	3210088
random/large/ unif-k3-r4.2-v5000-c21000-S425619685-036-UNKNOWN.cnf	SAT	14.8337	14.8347	3209668
random/medium/ unif-k7-r89-v90-c8010-S51928934-076.SATISFIABLE.cnf	SAT	16.4245	16.4252	3211360
random/large/ unif-k3-r4.2-v5000-c21000-S434028979-077-UNKNOWN.cnf	SAT	16.5505	16.5506	3209720
random/medium/ unif-k3-r4.26-v700-c2982-S893015585-015.SATISFIABLE.cnf	SAT	20.1489	20.15	3211216
random/large/ unif-k5-r20-v750-c15000-S131912631-041-UNKNOWN.cnf	SAT	21.9397	21.9392	3209804
random/medium/ unif-k5-r21.3-v175-c3727-S539832832-088.SATISFIABLE.cnf	SAT	27.1629	27.163	3210572
random/large/ unif-k5-r20-v750-c15000-S957625236-045-UNKNOWN.cnf	SAT	29.2156	29.2164	3209440
random/medium/ unif-k5-r21.3-v175-c3727-S185833400-026.SATISFIABLE.cnf	SAT	29.4205	29.4221	3211364
random/large/ unif-k3-r4.2-v5000-c21000-S1781430408-009-UNKNOWN.cnf	SAT	30.2324	30.2329	3210112
random/large/ unif-k5-r20-v1000-c20000-S519298227-080-UNKNOWN.cnf	SAT	30.3944	30.3948	3210164
random/large/ unif-k7-r85-v150-c12750-S367425675-085-UNKNOWN.cnf	SAT	31.1733	31.172	3209932
random/large/ unif-k3-r4.2-v2500-c10500-S882087907-088-UNKNOWN.cnf	SAT	31.7012	31.7017	3209700
random/medium/ unif-k7-r89-v80-c7120-S1801179747-047.SATISFIABLE.cnf	SAT	32.562	32.5627	3211092
random/large/ unif-k5-r20-v1250-c25000-S269694958-008-UNKNOWN.cnf	SAT	33.6309	33.6339	3209928
random/large/ unif-k5-r20-v750-c15000-S976181807-056-UNKNOWN.cnf	SAT	35.5796	35.5823	3210152
random/medium/ unif-k5-r21.3-v175-c3727-S1126657927-015.SATISFIABLE.cnf	SAT	36.1545	36.1576	3211656
random/large/ unif-k3-r4.2-v5000-c21000-S1157767653-025-UNKNOWN.cnf	SAT	38.5571	38.5565	3209616
random/medium/ unif-k7-r89-v90-c8010-S231612998-061.SATISFIABLE.cnf	SAT	40.4768	40.478	3211396
random/large/ unif-k3-r4.2-v5000-c21000-S912026804-034-UNKNOWN.cnf	SAT	48.6326	48.6354	3209632
random/medium/ unif-k7-r89-v90-c8010-S661190852-039.SATISFIABLE.cnf	SAT	51.5602	51.5592	3210344
random/large/ unif-k5-r20-v750-c15000-S1207160791-083-UNKNOWN.cnf	SAT	54.4237	54.4248	3209912
random/large/ unif-k5-r20-v750-c15000-S440979335-036-UNKNOWN.cnf	SAT	54.6887	54.6876	3209732
random/medium/ unif-k5-r21.3-v175-c3727-S82160031-050.SATISFIABLE.cnf	SAT	58.7911	58.795	3210724
random/large/ unif-k5-r20-v1250-c25000-S871131876-087-UNKNOWN.cnf	SAT	61.3907	61.3917	3210200
random/large/ unif-k5-r20-v1000-c20000-S541740666-063-UNKNOWN.cnf	SAT	64.2282	64.2274	3209540
random/large/ unif-k3-r4.2-v5000-c21000-S720914503-051-UNKNOWN.cnf	SAT	68.3836	68.3847	3209900
random/large/ unif-k5-r20-v750-c15000-S1787347746-067-UNKNOWN.cnf	SAT	70.6283	70.6272	3209880
random/large/ unif-k5-r20-v1000-c20000-S883282443-030-UNKNOWN.cnf	SAT	76.7553	76.7546	3209444
random/large/ unif-k7-r85-v150-c12750-S1290198737-013-UNKNOWN.cnf	SAT	86.0039	86.002	3210140
random/large/ unif-k3-r4.2-v5000-c21000-S901912629-090-UNKNOWN.cnf	SAT	88.5015	88.4999	3210100
random/large/ unif-k5-r20-v750-c15000-S64285713-004-UNKNOWN.cnf	SAT	94.5436	94.5404	3209940
random/large/ unif-k3-r4.2-v5000-c21000-S936020932-012-UNKNOWN.cnf	SAT	104.791	104.789	3209644
random/large/ unif-k5-r20-v1000-c20000-S1950850246-038-UNKNOWN.cnf	SAT	107.114	107.111	3209756
random/large/ unif-k3-r4.2-v5000-c21000-S1259410977-065-UNKNOWN.cnf	SAT	107.511	107.509	3209972
random/large/ unif-k5-r20-v1250-c25000-S936047914-093-UNKNOWN.cnf	SAT	115.71	115.708	3209812
random/large/ unif-k7-r85-v150-c12750-S789865458-092-UNKNOWN.cnf	SAT	126.341	126.335	3209696
random/large/ unif-k5-r20-v1250-c25000-S1103412232-098-UNKNOWN.cnf	SAT	126.529	126.527	3209512
random/large/ unif-k5-r20-v1000-c20000-S107009952-009-UNKNOWN.cnf	SAT	173.047	173.04	3209416
random/large/ unif-k7-r85-v150-c12750-S541704841-072-UNKNOWN.cnf	SAT	180.988	180.99	3209460
random/medium/ unif-k5-r21.3-v150-c3195-S1632870961-099.SATISFIABLE.cnf	SAT	181.181	181.189	3211244
random/large/ unif-k5-r20-v750-c15000-S888530894-020-UNKNOWN.cnf	SAT	191.008	191.003	3209888
random/large/ unif-k7-r85-v150-c12750-S511186849-048-UNKNOWN.cnf	SAT	193.527	193.521	3210020
random/large/ unif-k5-r20-v1000-c20000-S941604910-059-UNKNOWN.cnf	SAT	195.772	195.767	3209484
random/medium/ unif-k7-r89-v90-c8010-S1828831772-021.SATISFIABLE.cnf	SAT	197.825	197.821	3210592
random/large/ unif-k5-r20-v1250-c25000-S313445894-099-UNKNOWN.cnf	SAT	218.56	218.557	3210204
random/large/ unif-k3-r4.2-v10000-c42000-S903594090-011-UNKNOWN.cnf	SAT	238.838	238.831	3209764
random/large/ unif-k3-r4.2-v10000-c42000-S1256256213-053-UNKNOWN.cnf	SAT	243.202	243.198	3209424
random/large/ unif-k5-r20-v1250-c25000-S573815729-001-UNKNOWN.cnf	SAT	247.907	247.903	3209652
random/large/ unif-k5-r20-v1250-c25000-S540595895-046-UNKNOWN.cnf	SAT	273.301	273.302	3209964
random/large/ unif-k7-r85-v150-c12750-S1101422472-003-UNKNOWN.cnf	SAT	284.719	284.712	3210012
random/large/ unif-k3-r4.2-v2500-c10500-S705365444-036-UNKNOWN.cnf	SAT	302.128	302.123	3209852
random/large/ unif-k5-r20-v1250-c25000-S1245360321-088-UNKNOWN.cnf	SAT	326.838	326.829	3209832
random/large/ unif-k5-r20-v1000-c20000-S945664020-055-UNKNOWN.cnf	SAT	361.02	361.01	3209784
random/large/ unif-k5-r20-v1500-c30000-S64154096-097-UNKNOWN.cnf	SAT	365.606	365.598	3210176
random/large/ unif-k3-r4.2-v15000-c63000-S1868678442-026-UNKNOWN.cnf	SAT	398.518	398.516	3209448
random/large/ unif-k3-r4.2-v10000-c42000-S338979727-056-UNKNOWN.cnf	SAT	404.308	404.288	3209528
random/large/ unif-k5-r20-v750-c15000-S3662714-068-UNKNOWN.cnf	SAT	414.901	414.889	3209452
random/large/ unif-k3-r4.2-v10000-c42000-S360796849-068-UNKNOWN.cnf	SAT	427.179	427.159	3209420
random/large/ unif-k3-r4.2-v5000-c21000-S72547786-008-UNKNOWN.cnf	SAT	428.154	428.143	3209768
random/large/ unif-k3-r4.2-v15000-c63000-S38529837-091-UNKNOWN.cnf	SAT	428.887	428.875	3209740
random/large/ unif-k5-r20-v1000-c20000-S72635791-098-UNKNOWN.cnf	SAT	531.009	530.984	3209596
random/large/ unif-k5-r20-v1500-c30000-S976428817-077-UNKNOWN.cnf	SAT	566.818	566.806	3209468
random/large/ unif-k3-r4.2-v15000-c63000-S976131144-051-UNKNOWN.cnf	SAT	609.099	609.087	3209688
random/large/ unif-k3-r4.2-v10000-c42000-S709804505-031-UNKNOWN.cnf	SAT	627.758	627.742	3209580
random/large/ unif-k5-r20-v1000-c20000-S698025027-034-UNKNOWN.cnf	SAT	637.751	637.73	3210068
random/large/ unif-k3-r4.2-v10000-c42000-S1778317451-042-UNKNOWN.cnf	SAT	656.348	656.332	3210172
random/large/ unif-k5-r20-v1000-c20000-S1351005860-011-UNKNOWN.cnf	SAT	677.505	677.491	3210156
random/large/ unif-k3-r4.2-v10000-c42000-S963265686-085-UNKNOWN.cnf	SAT	718.471	718.464	3209816
random/large/ unif-k3-r4.2-v10000-c42000-S977705304-066-UNKNOWN.cnf	SAT	719.796	719.764	3209600
random/large/ unif-k3-r4.2-v15000-c63000-S43885340-006-UNKNOWN.cnf	SAT	740.719	740.703	3210124
random/large/ unif-k7-r85-v150-c12750-S93401285-051-UNKNOWN.cnf	SAT	785.38	785.36	3209428
random/large/ unif-k3-r4.2-v20000-c84000-S1204913987-029-UNKNOWN.cnf	SAT	798.556	798.538	3209476
random/large/ unif-k3-r4.2-v15000-c63000-S980027332-029-UNKNOWN.cnf	SAT	875.359	875.338	3209792
random/large/ unif-k5-r20-v1500-c30000-S715182559-083-UNKNOWN.cnf	SAT	1062.86	1062.84	3209544
random/large/ unif-k7-r85-v200-c17000-S72668411-025-UNKNOWN.cnf	SAT	1098.5	1098.47	3210060
random/large/ unif-k3-r4.2-v15000-c63000-S89201333-019-UNKNOWN.cnf	SAT	1194	1193.97	3209876
random/large/ unif-k3-r4.2-v25000-c105000-S1233052734-067-UNKNOWN.cnf	SAT	1221.92	1221.9	3209472
random/large/ unif-k5-r20-v1250-c25000-S935783783-069-UNKNOWN.cnf	SAT	1256.69	1256.65	3209640
random/large/ unif-k5-r20-v1250-c25000-S1688530456-019-UNKNOWN.cnf	SAT	1455.29	1455.26	3209516
random/large/ unif-k3-r4.2-v20000-c84000-S840292785-048-UNKNOWN.cnf	SAT	1551.13	1551.08	3209996
random/large/ unif-k3-r4.2-v20000-c84000-S525505471-054-UNKNOWN.cnf	SAT	1767.49	1767.45	3209800
random/large/ unif-k3-r4.2-v25000-c105000-S808762165-030-UNKNOWN.cnf	SAT	1779.18	1779.14	3210188
random/large/ unif-k5-r20-v1500-c30000-S377999798-061-UNKNOWN.cnf	SAT	2100.93	2100.87	3209960
random/large/ unif-k3-r4.2-v20000-c84000-S878494004-057-UNKNOWN.cnf	SAT	2450.7	2450.63	3210144
random/large/ unif-k5-r20-v1500-c30000-S1793954886-065-UNKNOWN.cnf	SAT	2470.61	2470.49	3209556
random/large/ unif-k5-r20-v1500-c30000-S1305346115-067-UNKNOWN.cnf	SAT	2516.13	2516.06	3210136
random/large/ unif-k3-r4.2-v15000-c63000-S1386494586-003-UNKNOWN.cnf	SAT	2667.66	2667.62	3209860
random/large/ unif-k3-r4.2-v20000-c84000-S313385224-076-UNKNOWN.cnf	SAT	3792.62	3792.48	3209896
random/large/ unif-k3-r4.2-v25000-c105000-S92008434-079-UNKNOWN.cnf	SAT	3959.4	3959.28	3209500
random/large/ unif-k3-r4.2-v20000-c84000-S1298436766-097-UNKNOWN.cnf	SAT	4044.01	4043.89	3209988
random/large/ unif-k7-r85-v150-c12750-S313239685-087-UNKNOWN.cnf	SAT	4089.16	4089.03	3209536
random/large/ unif-k3-r4.2-v15000-c63000-S619136916-059-UNKNOWN.cnf	SAT	4274.78	4274.63	3210132
random/large/ unif-k3-r4.2-v25000-c105000-S919014656-003-UNKNOWN.cnf	SAT	4336.9	4336.8	3210212
random/large/ unif-k3-r4.2-v25000-c105000-S269939581-066-UNKNOWN.cnf	SAT	4577.74	4577.6	3210028
random/large/ unif-k7-r85-v150-c12750-S896023516-057-UNKNOWN.cnf	SAT	4728.54	4728.39	3209648
random/large/ unif-k3-r4.2-v15000-c63000-S1201608256-021-UNKNOWN.cnf	SAT	4728.84	4728.7	3209672
random/large/ unif-k5-r20-v1500-c30000-S1180959030-088-UNKNOWN.cnf	SAT	4903.52	4903.38	3209980

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
random/medium/ unif-k3-r4.26-v700-c2982-S1230934123-063.UNKNOWN.cnf	? (TO)	4999.17	5000.01	3211024
random/large/ unif-k3-r4.2-v30000-c126000-S379804333-028-UNKNOWN.cnf	? (TO)	4999.63	5000.01	3209864
random/medium/ unif-k3-r4.26-v400-c1704-S496650424-021.UNKNOWN.cnf	? (TO)	4999.88	5000.01	3211512
random/medium/ unif-k3-r4.26-v450-c1917-S1959079526-027.UNKNOWN.cnf	? (TO)	4999.92	5000.01	3211768
random/large/ unif-k3-r4.2-v20000-c84000-S357264423-067-UNKNOWN.cnf	? (TO)	4999.94	5000.01	3209788
random/large/ unif-k3-r4.2-v50000-c210000-S537193780-078-UNKNOWN.cnf	? (TO)	4999.97	5000.01	3209548
random/large/ unif-k7-r85-v200-c17000-S1227169170-092-UNKNOWN.cnf	? (TO)	5000.01	4999.91	3209724
random/large/ unif-k3-r4.2-v40000-c168000-S845438593-067-UNKNOWN.cnf	? (TO)	5000.01	4999.91	3209664
random/medium/ unif-k7-r89-v50-c4450-S1880985555-004.UNKNOWN.cnf	? (TO)	5000.01	4999.91	3211596
random/large/ unif-k5-r20-v2000-c40000-S656892101-075-UNKNOWN.cnf	? (TO)	5000.01	4999.91	3209520
random/large/ unif-k7-r85-v400-c34000-S927774663-037-UNKNOWN.cnf	? (TO)	5000.01	4999.91	3209808
random/medium/ unif-k3-r4.26-v450-c1917-S1406921020-013.UNKNOWN.cnf	? (TO)	5000.02	4999.91	3210936
random/medium/ unif-k3-r4.26-v700-c2982-S1800377425-032.UNKNOWN.cnf	? (TO)	5000.02	4999.91	3210900
random/medium/ unif-k3-r4.26-v300-c1278-S862932513-073.UNKNOWN.cnf	? (TO)	5000.02	4999.91	3210888
random/medium/ unif-k5-r21.3-v100-c2130-S1059781282-048.UNKNOWN.cnf	? (TO)	5000.02	4999.91	3210740
random/medium/ unif-k5-r21.3-v75-c1597-S1713710439-035.UNKNOWN.cnf	? (TO)	5000.02	4999.91	3210720
random/medium/ unif-k7-r89-v80-c7120-S1980280938-088.UNKNOWN.cnf	? (TO)	5000.02	4999.91	3210716
random/medium/ unif-k5-r21.3-v100-c2130-S1760258375-046.UNKNOWN.cnf	? (TO)	5000.02	4999.91	3210576
random/medium/ unif-k7-r89-v70-c6230-S1780733482-097.UNKNOWN.cnf	? (TO)	5000.02	4999.81	3210544
random/medium/ unif-k5-r21.3-v125-c2662-S1224290751-070.UNKNOWN.cnf	? (TO)	5000.02	4999.91	3210516
random/medium/ unif-k5-r21.3-v150-c3195-S1653142431-025.UNKNOWN.cnf	? (TO)	5000.02	4999.91	3210508
random/medium/ unif-k3-r4.26-v250-c1065-S860541986-078.UNKNOWN.cnf	? (TO)	5000.02	4999.91	3210496
random/medium/ unif-k3-r4.26-v300-c1278-S1569819208-064.UNKNOWN.cnf	? (TO)	5000.02	4999.91	3210392
random/medium/ unif-k3-r4.26-v600-c2556-S248192082-054.UNKNOWN.cnf	? (TO)	5000.02	4999.91	3210356
random/medium/ unif-k5-r21.3-v50-c1065-S433637520-048.UNKNOWN.cnf	? (TO)	5000.02	4999.91	3210328
random/medium/ unif-k3-r4.26-v450-c1917-S116041094-082.UNKNOWN.cnf	? (TO)	5000.02	4999.91	3211644
random/medium/ unif-k7-r89-v50-c4450-S1027567260-047.UNKNOWN.cnf	? (TO)	5000.02	4999.91	3210308
random/medium/ unif-k3-r4.26-v700-c2982-S826445785-043.UNKNOWN.cnf	? (TO)	5000.02	4999.91	3210260
random/large/ unif-k7-r85-v250-c21250-S58287803-001-UNKNOWN.cnf	? (TO)	5000.02	4999.91	3210160
random/large/ unif-k7-r85-v300-c25500-S1859210562-077-UNKNOWN.cnf	? (TO)	5000.02	4999.91	3210116
random/large/ unif-k3-r4.2-v25000-c105000-S109959541-056-UNKNOWN.cnf	? (TO)	5000.02	4999.81	3209708
random/medium/ unif-k3-r4.26-v700-c2982-S1124205008-074.UNKNOWN.cnf	? (TO)	5000.02	4999.91	3211560
random/large/ unif-k3-r4.2-v15000-c63000-S594553190-015-UNKNOWN.cnf	? (TO)	5000.02	4999.91	3210096
random/large/ unif-k5-r20-v2000-c40000-S971556279-001-UNKNOWN.cnf	? (TO)	5000.02	4999.91	3209948
random/large/ unif-k5-r20-v2000-c40000-S61914820-087-UNKNOWN.cnf	? (TO)	5000.02	4999.91	3209944
random/medium/ unif-k5-r21.3-v50-c1065-S1007919187-045.UNKNOWN.cnf	? (TO)	5000.02	4999.91	3211556
random/medium/ unif-k7-r89-v70-c6230-S560963242-048.UNKNOWN.cnf	? (TO)	5000.02	4999.91	3211812
random/medium/ unif-k7-r89-v90-c8010-S1458811765-091.UNKNOWN.cnf	? (TO)	5000.02	4999.91	3211792
random/medium/ unif-k7-r89-v60-c5340-S113771637-026.UNKNOWN.cnf	? (TO)	5000.02	4999.91	3211536
random/medium/ unif-k3-r4.26-v450-c1917-S16302531-099.UNKNOWN.cnf	? (TO)	5000.02	4999.91	3211524
random/medium/ unif-k3-r4.26-v450-c1917-S1573194644-097.UNKNOWN.cnf	? (TO)	5000.02	4999.91	3211252
random/medium/ unif-k7-r89-v80-c7120-S1637697223-097.UNKNOWN.cnf	? (TO)	5000.02	4999.91	3211064
random/medium/ unif-k5-r21.3-v150-c3195-S1502652578-043.UNKNOWN.cnf	? (TO)	5000.02	4999.91	3210948
random/medium/ unif-k7-r89-v80-c7120-S1494985128-003.UNKNOWN.cnf	? (TO)	5000.03	4999.91	3210268
random/large/ unif-k7-r85-v400-c34000-S832901479-042-UNKNOWN.cnf	? (TO)	5000.03	5000.01	3209456
random/large/ unif-k7-r85-v250-c21250-S1682211323-009-UNKNOWN.cnf	? (TO)	5000.03	4999.91	3209464
random/large/ unif-k5-r20-v2000-c40000-S319509287-085-UNKNOWN.cnf	? (TO)	5000.03	4999.91	3209576
random/large/ unif-k7-r85-v200-c17000-S1348818483-020-UNKNOWN.cnf	? (TO)	5000.03	4999.91	3209660
random/large/ unif-k5-r20-v2000-c40000-S394483079-002-UNKNOWN.cnf	? (TO)	5000.03	4999.91	3209704
random/large/ unif-k3-r4.2-v40000-c168000-S471691933-060-UNKNOWN.cnf	? (TO)	5000.03	4999.91	3209716
random/large/ unif-k5-r20-v2000-c40000-S837431592-027-UNKNOWN.cnf	? (TO)	5000.03	4999.91	3209868
random/large/ unif-k3-r4.2-v35000-c147000-S1886449473-022-UNKNOWN.cnf	? (TO)	5000.03	4999.91	3209892
random/large/ unif-k7-r85-v400-c34000-S1275797759-041-UNKNOWN.cnf	? (TO)	5000.03	4999.91	3209920
random/large/ unif-k5-r20-v2000-c40000-S1264065752-051-UNKNOWN.cnf	? (TO)	5000.03	4999.91	3209924
random/large/ unif-k3-r4.2-v30000-c126000-S285324961-078-UNKNOWN.cnf	? (TO)	5000.03	4999.91	3210008
random/large/ unif-k3-r4.2-v30000-c126000-S643238994-057-UNKNOWN.cnf	? (TO)	5000.03	4999.91	3210024
random/large/ unif-k7-r85-v250-c21250-S981492757-074-UNKNOWN.cnf	? (TO)	5000.03	4999.91	3210040
random/large/ unif-k3-r4.2-v40000-c168000-S907804052-003-UNKNOWN.cnf	? (TO)	5000.03	4999.91	3210120
random/large/ unif-k7-r85-v250-c21250-S977260632-016-UNKNOWN.cnf	? (TO)	5000.03	4999.91	3210184
random/medium/ unif-k3-r4.26-v700-c2982-S2036658259-036.UNKNOWN.cnf	? (TO)	5000.03	4999.91	3210272
random/medium/ unif-k7-r89-v80-c7120-S1901567697-013.UNKNOWN.cnf	? (TO)	5000.03	4999.91	3210332
random/medium/ unif-k7-r89-v70-c6230-S1254276596-021.UNKNOWN.cnf	? (TO)	5000.03	4999.91	3210364
random/medium/ unif-k5-r21.3-v150-c3195-S375894551-007.UNKNOWN.cnf	? (TO)	5000.03	4999.91	3210384
random/medium/ unif-k5-r21.3-v75-c1597-S602837755-005.UNKNOWN.cnf	? (TO)	5000.03	4999.91	3210420
random/medium/ unif-k3-r4.26-v400-c1704-S1081907273-083.UNKNOWN.cnf	? (TO)	5000.03	4999.91	3210428
random/medium/ unif-k7-r89-v80-c7120-S1818856267-075.UNKNOWN.cnf	? (TO)	5000.03	4999.91	3210468
random/medium/ unif-k3-r4.26-v300-c1278-S1452052526-056.UNKNOWN.cnf	? (TO)	5000.03	4999.91	3210472
random/medium/ unif-k3-r4.26-v300-c1278-S1869766438-024.UNKNOWN.cnf	? (TO)	5000.03	4999.91	3210500
random/medium/ unif-k3-r4.26-v550-c2343-S943066845-088.UNKNOWN.cnf	? (TO)	5000.03	4999.91	3210524
random/medium/ unif-k5-r21.3-v75-c1597-S295912653-089.UNKNOWN.cnf	? (TO)	5000.03	4999.91	3210528
random/medium/ unif-k3-r4.26-v300-c1278-S1194590195-083.UNKNOWN.cnf	? (TO)	5000.03	4999.91	3210580
random/medium/ unif-k7-r89-v70-c6230-S1475900283-041.UNKNOWN.cnf	? (TO)	5000.03	4999.91	3210672
random/medium/ unif-k7-r89-v70-c6230-S635440951-015.UNKNOWN.cnf	? (TO)	5000.03	4999.91	3210676
random/medium/ unif-k5-r21.3-v125-c2662-S1061710238-001.UNKNOWN.cnf	? (TO)	5000.03	4999.91	3210748
random/medium/ unif-k7-r89-v60-c5340-S642174893-006.UNKNOWN.cnf	? (TO)	5000.03	4999.91	3210756
random/medium/ unif-k7-r89-v60-c5340-S614849838-039.UNKNOWN.cnf	? (TO)	5000.03	4999.91	3210764
random/medium/ unif-k5-r21.3-v75-c1597-S60874767-043.UNKNOWN.cnf	? (TO)	5000.03	4999.91	3210784
random/medium/ unif-k7-r89-v50-c4450-S1273410420-036.UNKNOWN.cnf	? (TO)	5000.03	4999.91	3210788
random/medium/ unif-k5-r21.3-v50-c1065-S1491756361-004.UNKNOWN.cnf	? (TO)	5000.03	4999.91	3210868
random/medium/ unif-k7-r89-v50-c4450-S1034575833-022.UNKNOWN.cnf	? (TO)	5000.03	4999.91	3210872
random/medium/ unif-k3-r4.26-v650-c2769-S1235135694-059.UNKNOWN.cnf	? (TO)	5000.03	4999.91	3210916
random/medium/ unif-k5-r21.3-v75-c1597-S1508981094-051.UNKNOWN.cnf	? (TO)	5000.03	4999.91	3210932
random/medium/ unif-k3-r4.26-v450-c1917-S794554332-033.UNKNOWN.cnf	? (TO)	5000.03	4999.91	3210988
random/medium/ unif-k5-r21.3-v150-c3195-S31505198-038.UNKNOWN.cnf	? (TO)	5000.03	4999.91	3211048
random/medium/ unif-k5-r21.3-v100-c2130-S1336161514-068.UNKNOWN.cnf	? (TO)	5000.03	4999.91	3211060
random/medium/ unif-k7-r89-v50-c4450-S1374457799-001.UNKNOWN.cnf	? (TO)	5000.03	4999.91	3211072
random/medium/ unif-k3-r4.26-v350-c1491-S797651048-056.UNKNOWN.cnf	? (TO)	5000.03	4999.91	3211100
random/medium/ unif-k3-r4.26-v600-c2556-S1677156340-036.UNKNOWN.cnf	? (TO)	5000.03	4999.91	3211104
random/medium/ unif-k3-r4.26-v400-c1704-S549184435-037.UNKNOWN.cnf	? (TO)	5000.03	4999.81	3211132
random/medium/ unif-k3-r4.26-v650-c2769-S29470018-050.UNKNOWN.cnf	? (TO)	5000.03	4999.91	3211268
random/medium/ unif-k3-r4.26-v700-c2982-S157016908-041.UNKNOWN.cnf	? (TO)	5000.03	4999.91	3211312
random/medium/ unif-k3-r4.26-v650-c2769-S944656226-046.UNKNOWN.cnf	? (TO)	5000.03	4999.91	3211324
random/medium/ unif-k3-r4.26-v600-c2556-S506401817-075.UNKNOWN.cnf	? (TO)	5000.03	4999.91	3211368
random/medium/ unif-k3-r4.26-v550-c2343-S912111154-025.UNKNOWN.cnf	? (TO)	5000.03	4999.81	3211504
random/medium/ unif-k7-r89-v90-c8010-S741717046-057.UNKNOWN.cnf	? (TO)	5000.03	4999.91	3211532
random/medium/ unif-k5-r21.3-v50-c1065-S1054153452-040.UNKNOWN.cnf	? (TO)	5000.03	4999.91	3211592
random/medium/ unif-k5-r21.3-v50-c1065-S370067727-038.UNKNOWN.cnf	? (TO)	5000.03	4999.81	3211604
random/medium/ unif-k5-r21.3-v100-c2130-S1741857700-014.UNKNOWN.cnf	? (TO)	5000.03	4999.91	3211628
random/medium/ unif-k7-r89-v50-c4450-S708803296-021.UNKNOWN.cnf	? (TO)	5000.03	4999.91	3211776
random/medium/ unif-k3-r4.26-v550-c2343-S591042619-090.UNKNOWN.cnf	? (TO)	5000.03	4999.91	3211800
random/large/ unif-k3-r4.2-v40000-c168000-S1184456903-078-UNKNOWN.cnf	? (TO)	5000.04	4999.91	3209836
random/medium/ unif-k5-r21.3-v125-c2662-S2092454698-027.UNKNOWN.cnf	? (TO)	5000.04	4999.91	3211496
random/large/ unif-k3-r4.2-v35000-c147000-S883457431-033-UNKNOWN.cnf	? (TO)	5000.04	4999.91	3209436
random/medium/ unif-k3-r4.26-v650-c2769-S510739670-068.UNKNOWN.cnf	? (TO)	5000.04	4999.81	3211228
random/medium/ unif-k3-r4.26-v550-c2343-S816372663-049.UNKNOWN.cnf	? (TO)	5000.04	4999.91	3210848
random/large/ unif-k7-r85-v300-c25500-S926861876-013-UNKNOWN.cnf	? (TO)	5000.04	4999.91	3209656
random/medium/ unif-k3-r4.26-v500-c2130-S1514125851-037.UNKNOWN.cnf	? (TO)	5000.04	4999.91	3210388
random/medium/ unif-k3-r4.26-v400-c1704-S1635333981-027.UNKNOWN.cnf	? (TO)	5000.04	4999.81	3210964
random/medium/ unif-k3-r4.26-v350-c1491-S648064606-012.UNKNOWN.cnf	? (TO)	5000.04	4999.91	3210504
random/medium/ unif-k7-r89-v60-c5340-S1720200795-004.UNKNOWN.cnf	? (TO)	5000.04	4999.81	3210968
random/large/ unif-k7-r85-v300-c25500-S966156467-066-UNKNOWN.cnf	? (TO)	5000.04	4999.81	3209608
random/medium/ unif-k3-r4.26-v350-c1491-S804294807-063.UNKNOWN.cnf	? (TO)	5000.04	4999.81	3211392
random/medium/ unif-k5-r21.3-v50-c1065-S1990278523-047.UNKNOWN.cnf	? (TO)	5000.04	4999.81	3211388
random/medium/ unif-k7-r89-v90-c8010-S764895749-094.UNKNOWN.cnf	? (TO)	5000.04	4999.81	3210540
random/large/ unif-k7-r85-v300-c25500-S376724493-075-UNKNOWN.cnf	? (TO)	5000.04	4999.91	3209828
random/large/ unif-k3-r4.2-v50000-c210000-S746725327-020-UNKNOWN.cnf	? (TO)	5000.04	4999.91	3209712
random/large/ unif-k5-r20-v1500-c30000-S969405384-096-UNKNOWN.cnf	? (TO)	5000.04	4999.91	3209848
random/large/ unif-k3-r4.2-v30000-c126000-S1854039067-041-UNKNOWN.cnf	? (TO)	5000.04	4999.91	3209592
random/medium/ unif-k7-r89-v60-c5340-S1675230100-032.UNKNOWN.cnf	? (TO)	5000.04	4999.81	3211764
random/medium/ unif-k7-r89-v60-c5340-S2117313371-002.UNKNOWN.cnf	? (TO)	5000.04	4999.81	3211760
random/large/ unif-k7-r85-v400-c34000-S536077088-015-UNKNOWN.cnf	? (TO)	5000.04	4999.91	3210056
random/large/ unif-k3-r4.2-v35000-c147000-S648642831-094-UNKNOWN.cnf	? (TO)	5000.04	4999.81	3209840
random/large/ unif-k5-r20-v1500-c30000-S303265982-092-UNKNOWN.cnf	? (TO)	5000.04	4999.91	3209856
random/medium/ unif-k3-r4.26-v250-c1065-S534787376-095.UNKNOWN.cnf	? (TO)	5000.04	4999.81	3210768
random/large/ unif-k3-r4.2-v50000-c210000-S1401248878-094-UNKNOWN.cnf	? (TO)	5000.04	4999.91	3209744
random/medium/ unif-k3-r4.26-v550-c2343-S720541313-052.UNKNOWN.cnf	? (TO)	5000.04	4999.91	3210616
random/medium/ unif-k3-r4.26-v350-c1491-S1404138730-025.UNKNOWN.cnf	? (TO)	5000.04	4999.81	3211232
random/large/ unif-k7-r85-v400-c34000-S943787219-031-UNKNOWN.cnf	? (TO)	5000.04	4999.91	3209884
random/medium/ unif-k5-r21.3-v100-c2130-S360859187-040.UNKNOWN.cnf	? (TO)	5000.04	4999.81	3211008
random/medium/ unif-k3-r4.26-v650-c2769-S910125393-002.UNKNOWN.cnf	? (TO)	5000.04	4999.81	3211020
random/large/ unif-k3-r4.2-v30000-c126000-S629207485-001-UNKNOWN.cnf	? (TO)	5000.04	4999.91	3209584
random/medium/ unif-k3-r4.26-v300-c1278-S1469984978-038.UNKNOWN.cnf	? (TO)	5000.04	4999.91	3210728
random/medium/ unif-k3-r4.26-v250-c1065-S1295196126-061.UNKNOWN.cnf	? (TO)	5000.04	4999.91	3210736
random/large/ unif-k7-r85-v300-c25500-S942666749-061-UNKNOWN.cnf	? (TO)	5000.04	4999.91	3209572
random/medium/ unif-k5-r21.3-v50-c1065-S1139883571-082.UNKNOWN.cnf	? (TO)	5000.04	4999.81	3211608
random/large/ unif-k3-r4.2-v35000-c147000-S448503257-098-UNKNOWN.cnf	? (TO)	5000.04	4999.81	3209760
random/medium/ unif-k5-r21.3-v125-c2662-S1194239878-049.UNKNOWN.cnf	? (TO)	5000.04	4999.81	3211124
random/large/ unif-k3-r4.2-v40000-c168000-S1368340883-085-UNKNOWN.cnf	? (TO)	5000.04	4999.91	3209568
random/medium/ unif-k3-r4.26-v250-c1065-S984689729-080.UNKNOWN.cnf	? (TO)	5000.04	4999.81	3210772
random/medium/ unif-k7-r89-v80-c7120-S199880667-010.UNKNOWN.cnf	? (TO)	5000.04	4999.91	3210904
random/large/ unif-k7-r85-v250-c21250-S1274193329-021-UNKNOWN.cnf	? (TO)	5000.04	4999.91	3210072
random/large/ unif-k3-r4.2-v25000-c105000-S1838224332-006-UNKNOWN.cnf	? (TO)	5000.05	4999.91	3209624
random/large/ unif-k3-r4.2-v30000-c126000-S858279511-076-UNKNOWN.cnf	? (TO)	5000.05	4999.91	3209796
random/medium/ unif-k3-r4.26-v250-c1065-S1397126856-076.UNKNOWN.cnf	? (TO)	5000.05	4999.91	3211452
random/medium/ unif-k3-r4.26-v250-c1065-S931339469-052.UNKNOWN.cnf	? (TO)	5000.05	4999.91	3210300
random/medium/ unif-k7-r89-v70-c6230-S1516725086-012.UNKNOWN.cnf	? (TO)	5000.05	4999.91	3210292
random/medium/ unif-k5-r21.3-v100-c2130-S2051088205-036.UNKNOWN.cnf	? (TO)	5000.05	4999.91	3210812
random/medium/ unif-k7-r89-v90-c8010-S2127424322-078.UNKNOWN.cnf	? (TO)	5000.05	4999.91	3210860
random/medium/ unif-k3-r4.26-v650-c2769-S960948361-055.UNKNOWN.cnf	? (TO)	5000.05	4999.91	3210876
random/medium/ unif-k5-r21.3-v125-c2662-S1397972185-007.UNKNOWN.cnf	? (TO)	5000.05	4999.91	3210884
random/large/ unif-k3-r4.2-v20000-c84000-S1778371838-017-UNKNOWN.cnf	? (TO)	5000.05	4999.81	3209564
random/large/ unif-k7-r85-v300-c25500-S680524168-083-UNKNOWN.cnf	? (TO)	5000.05	4999.91	3209904
random/medium/ unif-k7-r89-v80-c7120-S1968028041-077.UNKNOWN.cnf	? (TO)	5000.05	4999.91	3211748
random/large/ unif-k3-r4.2-v25000-c105000-S533496308-018-UNKNOWN.cnf	? (TO)	5000.05	4999.91	3209780
random/large/ unif-k7-r85-v250-c21250-S894356234-063-UNKNOWN.cnf	? (TO)	5000.05	4999.91	3209908
random/large/ unif-k7-r85-v250-c21250-S655589261-059-UNKNOWN.cnf	? (TO)	5000.05	4999.91	3209748
random/medium/ unif-k3-r4.26-v500-c2130-S1762880211-075.UNKNOWN.cnf	? (TO)	5000.05	4999.91	3210244
random/medium/ unif-k3-r4.26-v400-c1704-S1511266249-002.UNKNOWN.cnf	? (TO)	5000.05	4999.91	3211500
random/medium/ unif-k5-r21.3-v100-c2130-S815408325-054.UNKNOWN.cnf	? (TO)	5000.05	4999.91	3211692
random/large/ unif-k5-r20-v2000-c40000-S1143439968-082-UNKNOWN.cnf	? (TO)	5000.05	4999.91	3209492
random/medium/ unif-k3-r4.26-v300-c1278-S1990987164-054.UNKNOWN.cnf	? (TO)	5000.05	4999.91	3210436
random/medium/ unif-k5-r21.3-v75-c1597-S1227489160-001.UNKNOWN.cnf	? (TO)	5000.05	4999.91	3210452
random/medium/ unif-k3-r4.26-v700-c2982-S899463426-096.UNKNOWN.cnf	? (TO)	5000.05	4999.91	3210464
random/medium/ unif-k3-r4.26-v600-c2556-S1245124682-071.UNKNOWN.cnf	? (TO)	5000.05	4999.91	3210476
random/medium/ unif-k5-r21.3-v100-c2130-S2098066936-001.UNKNOWN.cnf	? (TO)	5000.05	4999.91	3210480
random/medium/ unif-k7-r89-v70-c6230-S1960545292-083.UNKNOWN.cnf	? (TO)	5000.05	4999.91	3211616
random/large/ unif-k7-r85-v200-c17000-S862393334-098-UNKNOWN.cnf	? (TO)	5000.05	4999.91	3209432
random/large/ unif-k7-r85-v400-c34000-S1897807474-073-UNKNOWN.cnf	? (TO)	5000.05	4999.91	3209612
random/large/ unif-k3-r4.2-v50000-c210000-S874492400-019-UNKNOWN.cnf	? (TO)	5000.05	4999.91	3209736
random/large/ unif-k3-r4.2-v35000-c147000-S970100151-015-UNKNOWN.cnf	? (TO)	5000.05	4999.91	3209844
random/large/ unif-k7-r85-v300-c25500-S415002759-031-UNKNOWN.cnf	? (TO)	5000.05	4999.91	3210192
random/medium/ unif-k5-r21.3-v75-c1597-S1431779634-058.UNKNOWN.cnf	? (TO)	5000.05	4999.91	3211756
random/medium/ unif-k3-r4.26-v500-c2130-S1085677759-100.UNKNOWN.cnf	? (TO)	5000.05	4999.91	3210656
random/medium/ unif-k3-r4.26-v700-c2982-S1971541934-090.UNKNOWN.cnf	? (TO)	5000.05	4999.91	3210696
random/medium/ unif-k7-r89-v90-c8010-S1475406203-080.UNKNOWN.cnf	? (TO)	5000.05	4999.91	3210700
random/large/ unif-k7-r85-v300-c25500-S1286362348-008-UNKNOWN.cnf	? (TO)	5000.05	4999.91	3209588
random/large/ unif-k7-r85-v400-c34000-S1163171897-095-UNKNOWN.cnf	? (TO)	5000.05	4999.91	3209984
random/medium/ unif-k3-r4.26-v700-c2982-S1565617179-002.UNKNOWN.cnf	? (TO)	5000.06	4999.91	3210320
random/large/ unif-k3-r4.2-v50000-c210000-S758437099-099-UNKNOWN.cnf	? (TO)	5000.06	4999.91	3209824
random/large/ unif-k3-r4.2-v40000-c168000-S64788608-008-UNKNOWN.cnf	? (TO)	5000.06	4999.91	3209872
random/medium/ unif-k5-r21.3-v150-c3195-S788239782-034.UNKNOWN.cnf	? (TO)	5000.06	4999.91	3211460
random/large/ unif-k7-r85-v250-c21250-S1116436500-050-UNKNOWN.cnf	? (TO)	5000.06	4999.91	3210180
random/large/ unif-k7-r85-v250-c21250-S317257086-003-UNKNOWN.cnf	? (TO)	5000.06	4999.91	3209728
random/large/ unif-k7-r85-v300-c25500-S1158419275-045-UNKNOWN.cnf	? (TO)	5000.06	5000.11	3210000
random/large/ unif-k7-r85-v200-c17000-S970203146-047-UNKNOWN.cnf	? (TO)	5000.06	4999.91	3209956
random/large/ unif-k7-r85-v400-c34000-S817927155-033-UNKNOWN.cnf	? (TO)	5000.06	4999.91	3209976
random/medium/ unif-k7-r89-v70-c6230-S1805176884-064.UNKNOWN.cnf	? (TO)	5000.06	4999.91	3210352
random/large/ unif-k3-r4.2-v30000-c126000-S913491256-073-UNKNOWN.cnf	? (TO)	5000.06	4999.91	3209636
random/medium/ unif-k5-r21.3-v125-c2662-S396831120-092.UNKNOWN.cnf	? (TO)	5000.06	4999.91	3210360
random/medium/ unif-k5-r21.3-v150-c3195-S873866006-055.UNKNOWN.cnf	? (TO)	5000.06	4999.91	3210368
random/large/ unif-k3-r4.2-v50000-c210000-S1969540674-065-UNKNOWN.cnf	? (TO)	5000.06	4999.91	3209488
random/medium/ unif-k5-r21.3-v150-c3195-S207562876-057.UNKNOWN.cnf	? (TO)	5000.06	4999.91	3210400
random/medium/ unif-k3-r4.26-v600-c2556-S1734827769-099.UNKNOWN.cnf	? (TO)	5000.06	4999.91	3210416
random/medium/ unif-k3-r4.26-v600-c2556-S1885965779-049.UNKNOWN.cnf	? (TO)	5000.06	4999.91	3211784
random/large/ unif-k3-r4.2-v35000-c147000-S419010076-063-UNKNOWN.cnf	? (TO)	5000.06	4999.91	3209480
random/large/ unif-k3-r4.2-v40000-c168000-S386300535-065-UNKNOWN.cnf	? (TO)	5000.06	4999.91	3210084
random/large/ unif-k3-r4.2-v50000-c210000-S957916968-041-UNKNOWN.cnf	? (TO)	5000.06	4999.91	3209604
random/medium/ unif-k3-r4.26-v500-c2130-S1383368897-031.UNKNOWN.cnf	? (TO)	5000.06	4999.91	3210564
random/medium/ unif-k3-r4.26-v550-c2343-S1663503036-045.UNKNOWN.cnf	? (TO)	5000.06	4999.91	3210568
random/medium/ unif-k5-r21.3-v50-c1065-S827703138-064.UNKNOWN.cnf	? (TO)	5000.06	4999.91	3210604
random/medium/ unif-k3-r4.26-v550-c2343-S1694067460-072.UNKNOWN.cnf	? (TO)	5000.06	4999.91	3210660
random/medium/ unif-k7-r89-v60-c5340-S1831136826-075.UNKNOWN.cnf	? (TO)	5000.06	4999.91	3211612
random/medium/ unif-k3-r4.26-v450-c1917-S1910317962-059.UNKNOWN.cnf	? (TO)	5000.06	4999.91	3210776
random/medium/ unif-k5-r21.3-v125-c2662-S121099030-067.UNKNOWN.cnf	? (TO)	5000.06	4999.91	3210780
random/large/ unif-k3-r4.2-v35000-c147000-S950666065-093-UNKNOWN.cnf	? (TO)	5000.06	4999.91	3209692
random/large/ unif-k3-r4.2-v50000-c210000-S964643921-035-UNKNOWN.cnf	? (TO)	5000.06	4999.91	3210208
random/large/ unif-k7-r85-v400-c34000-S586055573-067-UNKNOWN.cnf	? (TO)	5000.06	4999.91	3210080
random/medium/ unif-k7-r89-v90-c8010-S818753762-096.UNKNOWN.cnf	? (TO)	5000.06	4999.91	3210216
random/large/ unif-k7-r85-v200-c17000-S181603592-089-UNKNOWN.cnf	? (TO)	5000.06	4999.91	3209552
random/medium/ unif-k3-r4.26-v400-c1704-S785747282-100.UNKNOWN.cnf	? (TO)	5000.06	4999.91	3210220
random/medium/ unif-k7-r89-v50-c4450-S2039518547-066.UNKNOWN.cnf	? (TO)	5000.06	4999.91	3210972
random/medium/ unif-k7-r89-v70-c6230-S289144908-090.UNKNOWN.cnf	? (TO)	5000.06	4999.91	3210980
random/medium/ unif-k5-r21.3-v75-c1597-S1750722942-074.UNKNOWN.cnf	? (TO)	5000.06	4999.91	3211664
random/medium/ unif-k7-r89-v70-c6230-S250627100-039.UNKNOWN.cnf	? (TO)	5000.06	4999.91	3210236
random/large/ unif-k3-r4.2-v35000-c147000-S625465881-078-UNKNOWN.cnf	? (TO)	5000.06	4999.91	3210148
random/large/ unif-k7-r85-v250-c21250-S381985918-018-UNKNOWN.cnf	? (TO)	5000.06	4999.91	3209524
random/large/ unif-k3-r4.2-v35000-c147000-S1098107876-060-UNKNOWN.cnf	? (TO)	5000.06	4999.91	3209504
random/large/ unif-k3-r4.2-v40000-c168000-S709305826-098-UNKNOWN.cnf	? (TO)	5000.06	4999.91	3209684
random/large/ unif-k7-r85-v400-c34000-S94779963-093-UNKNOWN.cnf	? (TO)	5000.06	4999.91	3210168
random/large/ unif-k3-r4.2-v30000-c126000-S1354319962-100-UNKNOWN.cnf	? (TO)	5000.06	4999.91	3210048
random/medium/ unif-k5-r21.3-v150-c3195-S1847541883-049.UNKNOWN.cnf	? (TO)	5000.06	4999.91	3211188
random/medium/ unif-k3-r4.26-v350-c1491-S1705279286-077.UNKNOWN.cnf	? (TO)	5000.06	4999.91	3211192
random/large/ unif-k5-r20-v2000-c40000-S922811046-076-UNKNOWN.cnf	? (TO)	5000.06	4999.91	3210104
random/large/ unif-k7-r85-v200-c17000-S283489555-036-UNKNOWN.cnf	? (TO)	5000.06	4999.91	3209676
random/large/ unif-k5-r20-v1500-c30000-S877088425-001-UNKNOWN.cnf	? (TO)	5000.06	4999.91	3209496
random/large/ unif-k3-r4.2-v20000-c84000-S493397373-056-UNKNOWN.cnf	? (TO)	5000.06	4999.91	3209820
random/large/ unif-k7-r85-v300-c25500-S69399346-065-UNKNOWN.cnf	? (TO)	5000.06	4999.91	3210044
random/large/ unif-k3-r4.2-v35000-c147000-S1268831169-016-UNKNOWN.cnf	? (TO)	5000.06	4999.91	3210016
random/large/ unif-k7-r85-v200-c17000-S949556727-080-UNKNOWN.cnf	? (TO)	5000.06	4999.91	3209772
random/large/ unif-k7-r85-v200-c17000-S771170845-016-UNKNOWN.cnf	? (TO)	5000.06	4999.91	3209776
random/large/ unif-k3-r4.2-v20000-c84000-S921718479-079-UNKNOWN.cnf	? (TO)	5000.06	4999.91	3209752
random/medium/ unif-k5-r21.3-v100-c2130-S1465579926-097.UNKNOWN.cnf	? (TO)	5000.07	4999.91	3210804
random/medium/ unif-k7-r89-v90-c8010-S1897189325-062.UNKNOWN.cnf	? (TO)	5000.07	5000.01	3211620
random/medium/ unif-k3-r4.26-v600-c2556-S1720013904-060.UNKNOWN.cnf	? (TO)	5000.07	4999.91	3211036
random/medium/ unif-k3-r4.26-v450-c1917-S1008065350-031.UNKNOWN.cnf	? (TO)	5000.07	4999.91	3210432
random/medium/ unif-k5-r21.3-v150-c3195-S2124915970-046.UNKNOWN.cnf	? (TO)	5000.07	4999.91	3210600
random/medium/ unif-k3-r4.26-v350-c1491-S761041117-050.UNKNOWN.cnf	? (TO)	5000.07	4999.91	3211788
random/medium/ unif-k7-r89-v80-c7120-S839353433-100.UNKNOWN.cnf	? (TO)	5000.07	4999.91	3210832
random/medium/ unif-k3-r4.26-v400-c1704-S895193371-061.UNKNOWN.cnf	? (TO)	5000.07	4999.91	3211044
random/medium/ unif-k7-r89-v60-c5340-S1445862528-059.UNKNOWN.cnf	? (TO)	5000.07	5000.01	3211076
random/large/ unif-k3-r4.2-v40000-c168000-S895938734-057-UNKNOWN.cnf	? (TO)	5000.07	5000.01	3209532
random/medium/ unif-k3-r4.26-v650-c2769-S2065143904-035.UNKNOWN.cnf	? (TO)	5000.07	5000.01	3211588
random/medium/ unif-k7-r89-v90-c8010-S775210372-041.UNKNOWN.cnf	? (TO)	5000.07	4999.91	3210628
random/medium/ unif-k5-r21.3-v50-c1065-S1449708927-022.UNKNOWN.cnf	? (TO)	5000.07	5000.01	3211568
random/medium/ unif-k3-r4.26-v500-c2130-S247862791-097.UNKNOWN.cnf	? (TO)	5000.08	5000.01	3211408
random/medium/ unif-k3-r4.26-v600-c2556-S224791863-033.UNKNOWN.cnf	? (TO)	5000.08	5000.01	3211164
random/medium/ unif-k5-r21.3-v150-c3195-S1836400953-011.UNKNOWN.cnf	? (TO)	5000.08	5000.01	3211420
random/medium/ unif-k7-r89-v60-c5340-S1556216475-025.UNKNOWN.cnf	? (TO)	5000.08	4999.91	3210792
random/medium/ unif-k3-r4.26-v500-c2130-S2061684506-048.UNKNOWN.cnf	? (TO)	5000.08	5000.01	3211540
random/medium/ unif-k3-r4.26-v350-c1491-S659703274-054.UNKNOWN.cnf	? (TO)	5000.08	5000.01	3211096
random/medium/ unif-k5-r21.3-v100-c2130-S206772908-015.UNKNOWN.cnf	? (TO)	5000.08	4999.91	3210844
random/medium/ unif-k3-r4.26-v650-c2769-S1631976568-086.UNKNOWN.cnf	? (TO)	5000.08	4999.91	3211708
random/medium/ unif-k3-r4.26-v250-c1065-S1822479556-014.UNKNOWN.cnf	? (TO)	5000.08	5000.01	3211516
random/medium/ unif-k5-r21.3-v75-c1597-S428924146-076.UNKNOWN.cnf	? (TO)	5000.08	5000.01	3211028
random/medium/ unif-k7-r89-v90-c8010-S423984545-074.UNKNOWN.cnf	? (TO)	5000.08	4999.91	3211484
random/medium/ unif-k3-r4.26-v400-c1704-S1536900137-053.UNKNOWN.cnf	? (TO)	5000.08	4999.91	3210584
random/medium/ unif-k3-r4.26-v600-c2556-S1339958817-007.UNKNOWN.cnf	? (TO)	5000.08	4999.91	3211196
random/medium/ unif-k3-r4.26-v600-c2556-S869604189-077.UNKNOWN.cnf	? (TO)	5000.08	5000.01	3211336
random/medium/ unif-k3-r4.26-v300-c1278-S566093033-041.UNKNOWN.cnf	? (TO)	5000.08	5000.01	3211348
random/medium/ unif-k3-r4.26-v250-c1065-S266251785-083.UNKNOWN.cnf	? (TO)	5000.09	4999.91	3211472
random/large/ unif-k3-r4.2-v25000-c105000-S5267991-057-UNKNOWN.cnf	? (TO)	5000.09	5000.01	3209680
random/medium/ unif-k3-r4.26-v650-c2769-S1298256564-085.UNKNOWN.cnf	? (TO)	5000.09	4999.91	3210280
random/medium/ unif-k3-r4.26-v300-c1278-S768688898-014.UNKNOWN.cnf	? (TO)	5000.09	4999.91	3210284
random/medium/ unif-k3-r4.26-v500-c2130-S1094982880-055.UNKNOWN.cnf	? (TO)	5000.09	4999.91	3210324
random/large/ unif-k3-r4.2-v30000-c126000-S1196935200-064-UNKNOWN.cnf	? (TO)	5000.09	5000.01	3209628
random/medium/ unif-k3-r4.26-v700-c2982-S942849-099.UNKNOWN.cnf	? (TO)	5000.09	4999.91	3210596
random/medium/ unif-k3-r4.26-v550-c2343-S1693168158-005.UNKNOWN.cnf	? (TO)	5000.09	5000.01	3211624
random/medium/ unif-k7-r89-v50-c4450-S1082084494-034.UNKNOWN.cnf	? (TO)	5000.09	4999.91	3210800
random/medium/ unif-k5-r21.3-v50-c1065-S505037856-056.UNKNOWN.cnf	? (TO)	5000.09	4999.91	3211652
random/medium/ unif-k7-r89-v60-c5340-S384085843-009.UNKNOWN.cnf	? (TO)	5000.09	5000.01	3210960
random/medium/ unif-k3-r4.26-v350-c1491-S173446080-001.UNKNOWN.cnf	? (TO)	5000.09	5000.01	3210992
random/medium/ unif-k3-r4.26-v300-c1278-S1223020224-097.UNKNOWN.cnf	? (TO)	5000.09	4999.91	3210996
random/medium/ unif-k3-r4.26-v500-c2130-S769368248-036.UNKNOWN.cnf	? (TO)	5000.09	4999.91	3211004
random/medium/ unif-k3-r4.26-v350-c1491-S1090604743-089.UNKNOWN.cnf	? (TO)	5000.09	4999.91	3211696
random/medium/ unif-k3-r4.26-v500-c2130-S670753028-051.UNKNOWN.cnf	? (TO)	5000.09	4999.91	3211704
random/medium/ unif-k5-r21.3-v75-c1597-S1825761395-059.UNKNOWN.cnf	? (TO)	5000.09	4999.91	3211728
random/medium/ unif-k3-r4.26-v550-c2343-S1554089933-067.UNKNOWN.cnf	? (TO)	5000.09	5000.01	3211152
random/medium/ unif-k7-r89-v50-c4450-S321945897-005.UNKNOWN.cnf	? (TO)	5000.09	4999.91	3211200
random/medium/ unif-k3-r4.26-v250-c1065-S427778075-026.UNKNOWN.cnf	? (TO)	5000.09	4999.91	3211220
random/medium/ unif-k5-r21.3-v125-c2662-S1647930270-030.UNKNOWN.cnf	? (TO)	5000.09	4999.91	3211224
random/medium/ unif-k7-r89-v90-c8010-S1321406709-042.UNKNOWN.cnf	? (TO)	5000.09	5000.01	3211248
random/medium/ unif-k3-r4.26-v500-c2130-S1205196501-095.UNKNOWN.cnf	? (TO)	5000.09	5000.01	3211280
random/medium/ unif-k3-r4.26-v450-c1917-S1879031150-062.UNKNOWN.cnf	? (TO)	5000.09	4999.91	3211468
random/large/ unif-k7-r85-v200-c17000-S335550727-070-UNKNOWN.cnf	? (TO)	5000.09	4999.91	3209936
random/medium/ unif-k5-r21.3-v125-c2662-S689381858-022.UNKNOWN.cnf	? (TO)	5000.09	4999.91	3211492
random/large/ unif-k3-r4.2-v40000-c168000-S1920335371-069-UNKNOWN.cnf	? (TO)	5000.09	4999.91	3210076
random/large/ unif-k3-r4.2-v10000-c42000-S1091905403-047-UNKNOWN.cnf	? (TO)	5000.09	4999.91	3210108
random/medium/ unif-k3-r4.26-v650-c2769-S216164582-083.UNKNOWN.cnf	? (TO)	5000.1	4999.91	3211440
random/large/ unif-k3-r4.2-v50000-c210000-S517749870-003-UNKNOWN.cnf	? (TO)	5000.1	4999.91	3210092
random/large/ unif-k5-r20-v2000-c40000-S1993071608-084-UNKNOWN.cnf	? (TO)	5000.1	4999.91	3209952
random/large/ unif-k3-r4.2-v25000-c105000-S30704505-092-UNKNOWN.cnf	? (TO)	5000.1	4999.91	3209916
random/medium/ unif-k3-r4.26-v450-c1917-S367251957-028.UNKNOWN.cnf	? (TO)	5000.1	4999.91	3210304
random/medium/ unif-k3-r4.26-v250-c1065-S671776549-007.UNKNOWN.cnf	? (TO)	5000.1	4999.91	3211424
random/medium/ unif-k3-r4.26-v400-c1704-S1409021001-079.UNKNOWN.cnf	? (TO)	5000.1	4999.91	3211176
random/medium/ unif-k3-r4.26-v350-c1491-S1733949620-064.UNKNOWN.cnf	? (TO)	5000.1	4999.91	3211168
random/medium/ unif-k7-r89-v80-c7120-S841042385-099.UNKNOWN.cnf	? (TO)	5000.1	4999.91	3211648
random/large/ unif-k3-r4.2-v50000-c210000-S1170024351-015-UNKNOWN.cnf	? (TO)	5000.1	5000.01	3210196
random/medium/ unif-k5-r21.3-v125-c2662-S118521533-021.UNKNOWN.cnf	? (TO)	5000.1	5000.01	3211796
random/large/ unif-k3-r4.2-v30000-c126000-S926207202-053-UNKNOWN.cnf	? (TO)	5000.11	5000.01	3210032
random/medium/ unif-k3-r4.26-v550-c2343-S1163259790-073.UNKNOWN.cnf	? (TO)	5000.11	5000.01	3210484
random/medium/ unif-k3-r4.26-v400-c1704-S690749326-001.UNKNOWN.cnf	? (TO)	5000.11	5000.01	3211376
random/medium/ unif-k7-r89-v50-c4450-S324945930-048.UNKNOWN.cnf	? (TO)	5000.11	5000.01	3211520

SAT 2011 Competition: main competition (phase 2): 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) (298 runs) [Show/Hide]

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