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-v450-c1917-S1097024859-001.SATISFIABLE.cnf	SAT	0.001999	0.00605694	3162772
random/medium/ unif-k3-r4.26-v400-c1704-S1440346932-010.SATISFIABLE.cnf	SAT	0.001999	0.00591195	3162811
random/medium/ unif-k5-r21.3-v75-c1597-S1129651135-081.SATISFIABLE.cnf	SAT	0.002999	0.00674706	3162743
random/medium/ unif-k3-r4.26-v500-c2130-S1563258922-027.SATISFIABLE.cnf	SAT	0.003998	0.00606498	3162698
random/medium/ unif-k3-r4.26-v600-c2556-S735137557-045.SATISFIABLE.cnf	SAT	0.003999	0.0059821	3162764
random/medium/ unif-k5-r21.3-v75-c1597-S1366648725-024.SATISFIABLE.cnf	SAT	0.003999	0.00629492	3162511
random/medium/ unif-k5-r21.3-v75-c1597-S906725726-060.SATISFIABLE.cnf	SAT	0.003999	0.00597892	3162753
random/medium/ unif-k3-r4.26-v550-c2343-S960198064-030.SATISFIABLE.cnf	SAT	0.004998	0.00605909	3162649
random/medium/ unif-k3-r4.26-v400-c1704-S1462223811-042.SATISFIABLE.cnf	SAT	0.004999	0.00733905	3162628
random/medium/ unif-k3-r4.26-v350-c1491-S1077220429-098.SATISFIABLE.cnf	SAT	0.004999	0.00600701	3162681
random/medium/ unif-k3-r4.26-v450-c1917-S1915396418-078.SATISFIABLE.cnf	SAT	0.004999	0.00662306	3162589
random/medium/ unif-k3-r4.26-v450-c1917-S386464511-018.SATISFIABLE.cnf	SAT	0.004999	0.0105979	3162704
random/medium/ unif-k3-r4.26-v500-c2130-S204737200-067.SATISFIABLE.cnf	SAT	0.005999	0.00699011	3162846
random/medium/ unif-k5-r21.3-v75-c1597-S445191369-092.SATISFIABLE.cnf	SAT	0.005999	0.011713	3162768
random/medium/ unif-k3-r4.26-v500-c2130-S9113894-047.SATISFIABLE.cnf	SAT	0.006998	0.00686495	3162780
random/medium/ unif-k3-r4.26-v350-c1491-S773607012-011.SATISFIABLE.cnf	SAT	0.006998	0.00815409	3162742
random/medium/ unif-k3-r4.26-v350-c1491-S1946851065-023.SATISFIABLE.cnf	SAT	0.006998	0.00732793	3162502
random/medium/ unif-k3-r4.26-v700-c2982-S1617172756-030.SATISFIABLE.cnf	SAT	0.006998	0.00698007	3162779
random/medium/ unif-k3-r4.26-v450-c1917-S2065964480-034.SATISFIABLE.cnf	SAT	0.007997	0.00934992	3162577
random/medium/ unif-k3-r4.26-v350-c1491-S1794283924-053.SATISFIABLE.cnf	SAT	0.007998	0.0115129	3162697
random/medium/ unif-k5-r21.3-v125-c2662-S1300400916-048.SATISFIABLE.cnf	SAT	0.007998	0.0075851	3162734
random/medium/ unif-k3-r4.26-v350-c1491-S1914191877-004.SATISFIABLE.cnf	SAT	0.007998	0.00837304	3162642
random/medium/ unif-k5-r21.3-v125-c2662-S1396350646-062.SATISFIABLE.cnf	SAT	0.008997	0.00929893	3162750
random/medium/ unif-k3-r4.26-v550-c2343-S107514131-038.SATISFIABLE.cnf	SAT	0.008998	0.00892102	3162852
random/medium/ unif-k3-r4.26-v400-c1704-S823305148-084.SATISFIABLE.cnf	SAT	0.009997	0.010002	3162492
random/medium/ unif-k3-r4.26-v400-c1704-S913455068-085.SATISFIABLE.cnf	SAT	0.009997	0.010168	3162849
random/medium/ unif-k3-r4.26-v600-c2556-S252359291-002.SATISFIABLE.cnf	SAT	0.009998	0.012321	3162685
random/medium/ unif-k3-r4.26-v500-c2130-S31329941-054.SATISFIABLE.cnf	SAT	0.009998	0.00980895	3162565
random/medium/ unif-k3-r4.26-v450-c1917-S222128792-011.SATISFIABLE.cnf	SAT	0.011998	0.014071	3162732
random/medium/ unif-k7-r89-v50-c4450-S879384975-017.SATISFIABLE.cnf	SAT	0.012997	0.0135531	3162595
random/medium/ unif-k3-r4.26-v450-c1917-S2088689288-085.SATISFIABLE.cnf	SAT	0.012998	0.015879	3162839
random/medium/ unif-k3-r4.26-v350-c1491-S946474812-075.SATISFIABLE.cnf	SAT	0.012998	0.0161111	3162688
random/medium/ unif-k5-r21.3-v100-c2130-S1574817612-041.SATISFIABLE.cnf	SAT	0.013997	0.0150591	3162552
random/medium/ unif-k3-r4.26-v700-c2982-S171669125-021.SATISFIABLE.cnf	SAT	0.014996	0.0153239	3162672
random/medium/ unif-k5-r21.3-v75-c1597-S2038462183-033.SATISFIABLE.cnf	SAT	0.014997	0.0152171	3162608
random/medium/ unif-k5-r21.3-v75-c1597-S25975519-056.SATISFIABLE.cnf	SAT	0.014997	0.0164139	3162551
random/medium/ unif-k3-r4.26-v550-c2343-S927210717-059.SATISFIABLE.cnf	SAT	0.014997	0.019366	3162745
random/medium/ unif-k3-r4.26-v550-c2343-S1552308135-080.SATISFIABLE.cnf	SAT	0.015997	0.0174639	3162705
random/medium/ unif-k3-r4.26-v550-c2343-S1610857498-043.SATISFIABLE.cnf	SAT	0.016996	0.0178201	3162795
random/medium/ unif-k5-r21.3-v125-c2662-S436871389-051.SATISFIABLE.cnf	SAT	0.018997	0.0206339	3162532
random/medium/ unif-k3-r4.26-v400-c1704-S1023920765-089.SATISFIABLE.cnf	SAT	0.018997	0.0228531	3162788
random/medium/ unif-k3-r4.26-v350-c1491-S87195105-042.SATISFIABLE.cnf	SAT	0.019996	0.0206249	3162838
random/medium/ unif-k3-r4.26-v400-c1704-S183128297-005.SATISFIABLE.cnf	SAT	0.020995	0.0212519	3162727
random/medium/ unif-k3-r4.26-v350-c1491-S146789605-022.SATISFIABLE.cnf	SAT	0.021996	0.023043	3162596
random/medium/ unif-k3-r4.26-v500-c2130-S831119356-083.SATISFIABLE.cnf	SAT	0.026995	0.0276759	3162787
random/medium/ unif-k3-r4.26-v550-c2343-S1940049314-069.SATISFIABLE.cnf	SAT	0.027995	0.027886	3162826
random/medium/ unif-k7-r89-v50-c4450-S864690872-081.SATISFIABLE.cnf	SAT	0.028994	0.028344	3162671
random/medium/ unif-k3-r4.26-v650-c2769-S1894319588-015.SATISFIABLE.cnf	SAT	0.028994	0.0290369	3162578
random/medium/ unif-k3-r4.26-v800-c3408-S91768321-029.SATISFIABLE.cnf	SAT	0.029994	0.0300449	3162870
random/medium/ unif-k3-r4.26-v550-c2343-S1114532273-035.SATISFIABLE.cnf	SAT	0.029995	0.0357779	3162689
random/medium/ unif-k3-r4.26-v450-c1917-S380157195-014.SATISFIABLE.cnf	SAT	0.030994	0.0307191	3162503
random/medium/ unif-k3-r4.26-v650-c2769-S30721646-064.SATISFIABLE.cnf	SAT	0.030995	0.0349951	3162739
random/medium/ unif-k5-r21.3-v75-c1597-S1214523131-078.SATISFIABLE.cnf	SAT	0.040993	0.0412519	3162804
random/medium/ unif-k5-r21.3-v100-c2130-S1189700536-035.SATISFIABLE.cnf	SAT	0.043993	0.0488411	3162528
random/medium/ unif-k5-r21.3-v100-c2130-S196779284-038.SATISFIABLE.cnf	SAT	0.043993	0.0445031	3162806
random/medium/ unif-k5-r21.3-v75-c1597-S1009664450-096.SATISFIABLE.cnf	SAT	0.044993	0.0475651	3162769
random/medium/ unif-k3-r4.26-v500-c2130-S840902310-084.SATISFIABLE.cnf	SAT	0.044993	0.0463229	3162818
random/medium/ unif-k3-r4.26-v700-c2982-S1863077195-052.SATISFIABLE.cnf	SAT	0.047992	0.048837	3162761
random/medium/ unif-k3-r4.26-v650-c2769-S525571208-063.SATISFIABLE.cnf	SAT	0.048991	0.048739	3162520
random/medium/ unif-k3-r4.26-v800-c3408-S1536861174-069.SATISFIABLE.cnf	SAT	0.048992	0.0545579	3162713
random/medium/ unif-k3-r4.26-v550-c2343-S874954918-011.SATISFIABLE.cnf	SAT	0.056991	0.05841	3162574
random/medium/ unif-k5-r21.3-v100-c2130-S1980330668-030.SATISFIABLE.cnf	SAT	0.057991	0.0586719	3162854
random/medium/ unif-k5-r21.3-v150-c3195-S1650617512-037.SATISFIABLE.cnf	SAT	0.05999	0.063574	3162843
random/medium/ unif-k3-r4.26-v700-c2982-S900569154-026.SATISFIABLE.cnf	SAT	0.06299	0.0651271	3162512
random/medium/ unif-k3-r4.26-v750-c3195-S973075635-083.SATISFIABLE.cnf	SAT	0.06299	0.0636501	3162576
random/medium/ unif-k3-r4.26-v600-c2556-S727005963-093.SATISFIABLE.cnf	SAT	0.063989	0.064687	3162707
random/medium/ unif-k3-r4.26-v750-c3195-S1985868475-070.SATISFIABLE.cnf	SAT	0.06499	0.0674949	3162513
random/medium/ unif-k7-r89-v50-c4450-S768928417-025.SATISFIABLE.cnf	SAT	0.065989	0.0719559	3162557
random/medium/ unif-k5-r21.3-v125-c2662-S34055288-072.SATISFIABLE.cnf	SAT	0.070988	0.071306	3162638
random/medium/ unif-k7-r89-v60-c5340-S630613738-050.SATISFIABLE.cnf	SAT	0.072988	0.077445	3162754
random/medium/ unif-k7-r89-v90-c8010-S224440242-006.SATISFIABLE.cnf	SAT	0.074988	0.0769069	3162840
random/medium/ unif-k5-r21.3-v100-c2130-S20037494-023.SATISFIABLE.cnf	SAT	0.076988	0.078473	3162517
random/medium/ unif-k3-r4.26-v500-c2130-S1280860344-022.SATISFIABLE.cnf	SAT	0.077987	0.07943	3162835
random/medium/ unif-k7-r89-v50-c4450-S422404201-035.SATISFIABLE.cnf	SAT	0.079987	0.0796049	3162805
random/medium/ unif-k5-r21.3-v100-c2130-S328068950-002.SATISFIABLE.cnf	SAT	0.080987	0.0817579	3162656
random/medium/ unif-k7-r89-v50-c4450-S1788358104-029.SATISFIABLE.cnf	SAT	0.081986	0.082857	3162784
random/medium/ unif-k5-r21.3-v100-c2130-S1880411078-058.SATISFIABLE.cnf	SAT	0.081986	0.0826291	3162584
random/medium/ unif-k3-r4.26-v400-c1704-S930506247-025.SATISFIABLE.cnf	SAT	0.084987	0.088531	3162541
random/large/ unif-k3-r4.2-v2500-c10500-S89508070-083-UNKNOWN.cnf	SAT	0.086986	0.086781	3162410
random/medium/ unif-k3-r4.26-v600-c2556-S373048162-052.SATISFIABLE.cnf	SAT	0.088985	0.0921771	3162555
random/medium/ unif-k3-r4.26-v800-c3408-S1831593686-090.SATISFIABLE.cnf	SAT	0.090986	0.093689	3162529
random/medium/ unif-k3-r4.26-v800-c3408-S846876765-035.SATISFIABLE.cnf	SAT	0.096984	0.0970749	3162833
random/medium/ unif-k3-r4.26-v650-c2769-S1920526651-049.SATISFIABLE.cnf	SAT	0.099984	0.0994621	3162622
random/medium/ unif-k3-r4.26-v750-c3195-S1378008329-078.SATISFIABLE.cnf	SAT	0.108983	0.111274	3162548
random/medium/ unif-k3-r4.26-v650-c2769-S4140122-004.SATISFIABLE.cnf	SAT	0.111982	0.113794	3162777
random/medium/ unif-k3-r4.26-v450-c1917-S1617626827-069.SATISFIABLE.cnf	SAT	0.114981	0.116047	3162741
random/medium/ unif-k3-r4.26-v350-c1491-S1060672754-058.SATISFIABLE.cnf	SAT	0.117981	0.120866	3162719
random/medium/ unif-k3-r4.26-v400-c1704-S1050579435-065.SATISFIABLE.cnf	SAT	0.12298	0.123679	3162646
random/medium/ unif-k3-r4.26-v800-c3408-S456969343-019.SATISFIABLE.cnf	SAT	0.122981	0.125087	3162627
random/medium/ unif-k3-r4.26-v350-c1491-S1507171828-044.SATISFIABLE.cnf	SAT	0.131979	0.131933	3162700
random/medium/ unif-k5-r21.3-v125-c2662-S464722883-083.SATISFIABLE.cnf	SAT	0.141977	0.142619	3162733
random/medium/ unif-k3-r4.26-v600-c2556-S610796494-086.SATISFIABLE.cnf	SAT	0.148977	0.150571	3162775
random/medium/ unif-k7-r89-v70-c6230-S1018943457-089.SATISFIABLE.cnf	SAT	0.157975	0.160584	3162668
random/medium/ unif-k3-r4.26-v700-c2982-S1744841484-003.SATISFIABLE.cnf	SAT	0.160975	0.162037	3162847
random/medium/ unif-k7-r89-v80-c7120-S153059456-076.SATISFIABLE.cnf	SAT	0.161974	0.162079	3162703
random/medium/ unif-k7-r89-v50-c4450-S1786071619-083.SATISFIABLE.cnf	SAT	0.169973	0.170616	3162650
random/medium/ unif-k5-r21.3-v125-c2662-S1258495116-025.SATISFIABLE.cnf	SAT	0.172973	0.173641	3162556
random/medium/ unif-k5-r21.3-v100-c2130-S1926673460-089.SATISFIABLE.cnf	SAT	0.172973	0.175488	3162570
random/medium/ unif-k7-r89-v50-c4450-S675112162-053.SATISFIABLE.cnf	SAT	0.182971	0.18607	3162702
random/medium/ unif-k3-r4.26-v400-c1704-S1960786523-069.SATISFIABLE.cnf	SAT	0.184971	0.185909	3162620
random/medium/ unif-k3-r4.26-v500-c2130-S481747904-003.SATISFIABLE.cnf	SAT	0.200968	0.201488	3162571
random/medium/ unif-k3-r4.26-v500-c2130-S1263625223-038.SATISFIABLE.cnf	SAT	0.202968	0.203103	3162482
random/large/ unif-k3-r4.2-v2500-c10500-S1300417189-038-UNKNOWN.cnf	SAT	0.202968	0.203787	3162308
random/medium/ unif-k7-r89-v60-c5340-S385597856-055.SATISFIABLE.cnf	SAT	0.207968	0.208275	3162771
random/medium/ unif-k3-r4.26-v650-c2769-S466707249-079.SATISFIABLE.cnf	SAT	0.212966	0.213262	3162814
random/medium/ unif-k5-r21.3-v175-c3727-S752966552-099.SATISFIABLE.cnf	SAT	0.223965	0.225487	3162580
random/medium/ unif-k7-r89-v70-c6230-S1555786344-071.SATISFIABLE.cnf	SAT	0.227964	0.229257	3162478
random/medium/ unif-k5-r21.3-v175-c3727-S1110880865-004.SATISFIABLE.cnf	SAT	0.235963	0.235571	3162480
random/medium/ unif-k7-r89-v60-c5340-S388186442-035.SATISFIABLE.cnf	SAT	0.236963	0.23773	3162756
random/medium/ unif-k5-r21.3-v150-c3195-S1579607106-017.SATISFIABLE.cnf	SAT	0.238963	0.240424	3162530
random/medium/ unif-k7-r89-v60-c5340-S969033069-088.SATISFIABLE.cnf	SAT	0.245962	0.246204	3162853
random/large/ unif-k3-r4.2-v2500-c10500-S722024572-014-UNKNOWN.cnf	SAT	0.247961	0.249377	3162323
random/medium/ unif-k7-r89-v50-c4450-S1496316430-079.SATISFIABLE.cnf	SAT	0.267959	0.270308	3162848
random/medium/ unif-k3-r4.26-v700-c2982-S628307658-028.SATISFIABLE.cnf	SAT	0.271958	0.273359	3162585
random/medium/ unif-k5-r21.3-v75-c1597-S1636883934-028.SATISFIABLE.cnf	SAT	0.273957	0.274371	3162695
random/medium/ unif-k7-r89-v50-c4450-S1087312438-073.SATISFIABLE.cnf	SAT	0.277956	0.280241	3162591
random/medium/ unif-k5-r21.3-v75-c1597-S241605246-015.SATISFIABLE.cnf	SAT	0.281956	0.282633	3162711
random/medium/ unif-k3-r4.26-v800-c3408-S902286199-017.SATISFIABLE.cnf	SAT	0.281957	0.282631	3162790
random/medium/ unif-k7-r89-v60-c5340-S239039906-021.SATISFIABLE.cnf	SAT	0.283956	0.285196	3162533
random/medium/ unif-k3-r4.26-v450-c1917-S528475885-007.SATISFIABLE.cnf	SAT	0.297954	0.303748	3162648
random/medium/ unif-k3-r4.26-v800-c3408-S1631205309-024.SATISFIABLE.cnf	SAT	0.316951	0.321939	3162505
random/medium/ unif-k3-r4.26-v750-c3195-S664770261-061.SATISFIABLE.cnf	SAT	0.317951	0.319135	3162540
random/medium/ unif-k7-r89-v90-c8010-S2014736708-037.SATISFIABLE.cnf	SAT	0.31895	0.322842	3162588
random/medium/ unif-k7-r89-v70-c6230-S2045410966-069.SATISFIABLE.cnf	SAT	0.342947	0.342989	3162736
random/medium/ unif-k5-r21.3-v150-c3195-S1787844685-006.SATISFIABLE.cnf	SAT	0.343947	0.343704	3162851
random/medium/ unif-k3-r4.26-v650-c2769-S1495462442-016.SATISFIABLE.cnf	SAT	0.353946	0.354795	3162490
random/medium/ unif-k3-r4.26-v600-c2556-S379672572-039.SATISFIABLE.cnf	SAT	0.362944	0.363019	3162634
random/medium/ unif-k7-r89-v50-c4450-S1430772875-039.SATISFIABLE.cnf	SAT	0.367943	0.369777	3162524
random/medium/ unif-k5-r21.3-v100-c2130-S707565158-096.SATISFIABLE.cnf	SAT	0.376942	0.3793	3162558
random/medium/ unif-k3-r4.26-v650-c2769-S1261029273-036.SATISFIABLE.cnf	SAT	0.385941	0.388947	3162812
random/medium/ unif-k5-r21.3-v125-c2662-S675870149-098.SATISFIABLE.cnf	SAT	0.45993	0.460906	3162662
random/medium/ unif-k7-r89-v70-c6230-S1321356000-046.SATISFIABLE.cnf	SAT	0.487925	0.491367	3162690
random/medium/ unif-k5-r21.3-v175-c3727-S520872997-084.SATISFIABLE.cnf	SAT	0.569912	0.571039	3162484
random/medium/ unif-k3-r4.26-v800-c3408-S852188518-088.SATISFIABLE.cnf	SAT	0.572912	0.574891	3162487
random/medium/ unif-k3-r4.26-v700-c2982-S115072124-051.SATISFIABLE.cnf	SAT	0.588909	0.589734	3162757
random/medium/ unif-k7-r89-v70-c6230-S1351138814-007.SATISFIABLE.cnf	SAT	0.592909	0.593119	3162617
random/medium/ unif-k5-r21.3-v150-c3195-S334650851-022.SATISFIABLE.cnf	SAT	0.619905	0.619802	3162521
random/medium/ unif-k5-r21.3-v125-c2662-S446351158-079.SATISFIABLE.cnf	SAT	0.644901	0.644437	3162654
random/medium/ unif-k5-r21.3-v150-c3195-S1216095115-028.SATISFIABLE.cnf	SAT	0.665898	0.66631	3162623
random/medium/ unif-k7-r89-v90-c8010-S64052796-033.SATISFIABLE.cnf	SAT	0.668898	0.672644	3162604
random/medium/ unif-k5-r21.3-v100-c2130-S332580795-055.SATISFIABLE.cnf	SAT	0.738886	0.739289	3162861
random/medium/ unif-k5-r21.3-v175-c3727-S1592669696-022.SATISFIABLE.cnf	SAT	0.758883	0.759502	3162720
random/medium/ unif-k3-r4.26-v550-c2343-S311101868-094.SATISFIABLE.cnf	SAT	0.760883	0.761765	3162763
random/medium/ unif-k3-r4.26-v750-c3195-S1115406553-014.SATISFIABLE.cnf	SAT	0.765883	0.767462	3162869
random/medium/ unif-k7-r89-v70-c6230-S314780693-050.SATISFIABLE.cnf	SAT	0.841871	0.841564	3162800
random/medium/ unif-k7-r89-v80-c7120-S1801179747-047.SATISFIABLE.cnf	SAT	0.872867	0.874417	3162691
random/medium/ unif-k3-r4.26-v800-c3408-S890760919-021.SATISFIABLE.cnf	SAT	0.931857	0.932505	3162740
random/large/ unif-k3-r4.2-v2500-c10500-S374960214-041-UNKNOWN.cnf	SAT	0.942855	0.943819	3162440
random/medium/ unif-k5-r21.3-v125-c2662-S218235649-089.SATISFIABLE.cnf	SAT	0.948855	0.949406	3162827
random/large/ unif-k3-r4.2-v2500-c10500-S1907658523-004-UNKNOWN.cnf	SAT	1.04384	1.04601	3162419
random/medium/ unif-k5-r21.3-v150-c3195-S1428216398-076.SATISFIABLE.cnf	SAT	1.04784	1.0477	3162682
random/medium/ unif-k3-r4.26-v400-c1704-S1864619158-076.SATISFIABLE.cnf	SAT	1.07784	1.079	3162496
random/medium/ unif-k3-r4.26-v450-c1917-S2083898043-071.SATISFIABLE.cnf	SAT	1.13083	1.13249	3162737
random/medium/ unif-k7-r89-v70-c6230-S944754256-018.SATISFIABLE.cnf	SAT	1.17582	1.17775	3162475
random/medium/ unif-k3-r4.26-v750-c3195-S576842028-023.SATISFIABLE.cnf	SAT	1.23181	1.23525	3162653
random/medium/ unif-k7-r89-v80-c7120-S474185167-033.SATISFIABLE.cnf	SAT	1.3388	1.33896	3162594
random/medium/ unif-k3-r4.26-v550-c2343-S2058622508-076.SATISFIABLE.cnf	SAT	1.3388	1.3394	3162645
random/medium/ unif-k3-r4.26-v700-c2982-S812011128-009.SATISFIABLE.cnf	SAT	1.34979	1.35301	3162856
random/medium/ unif-k7-r89-v60-c5340-S1583005701-053.SATISFIABLE.cnf	SAT	1.53077	1.53452	3162714
random/medium/ unif-k7-r89-v80-c7120-S1623694027-006.SATISFIABLE.cnf	SAT	1.54176	1.54222	3162519
random/large/ unif-k3-r4.2-v2500-c10500-S1201761407-024-UNKNOWN.cnf	SAT	1.65875	1.66405	3162431
random/medium/ unif-k3-r4.26-v750-c3195-S158767647-027.SATISFIABLE.cnf	SAT	1.66975	1.67026	3162678
random/medium/ unif-k5-r21.3-v150-c3195-S259896945-079.SATISFIABLE.cnf	SAT	1.70774	1.70904	3162631
random/large/ unif-k3-r4.2-v10000-c42000-S677627694-051-UNKNOWN.cnf	SAT	1.75673	1.75798	3162450
random/medium/ unif-k5-r21.3-v150-c3195-S1116496771-020.SATISFIABLE.cnf	SAT	1.77673	1.77742	3162546
random/medium/ unif-k3-r4.26-v800-c3408-S1534711423-054.SATISFIABLE.cnf	SAT	1.79573	1.79572	3162641
random/large/ unif-k3-r4.2-v5000-c21000-S434028979-077-UNKNOWN.cnf	SAT	1.81672	1.81824	3162348
random/medium/ unif-k7-r89-v70-c6230-S1846644927-079.SATISFIABLE.cnf	SAT	1.91371	1.91411	3162474
random/medium/ unif-k7-r89-v80-c7120-S1639347701-083.SATISFIABLE.cnf	SAT	1.9777	1.97831	3162696
random/medium/ unif-k7-r89-v60-c5340-S1141565617-016.SATISFIABLE.cnf	SAT	1.9837	1.98427	3162497
random/medium/ unif-k7-r89-v60-c5340-S1510638717-051.SATISFIABLE.cnf	SAT	2.02969	2.03373	3162708
random/medium/ unif-k3-r4.26-v700-c2982-S893015585-015.SATISFIABLE.cnf	SAT	2.15767	2.16059	3162722
random/large/ unif-k5-r20-v1000-c20000-S541740666-063-UNKNOWN.cnf	SAT	2.21266	2.21393	3162303
random/medium/ unif-k7-r89-v80-c7120-S1147977026-087.SATISFIABLE.cnf	SAT	2.22966	2.22915	3162476
random/large/ unif-k3-r4.2-v5000-c21000-S720914503-051-UNKNOWN.cnf	SAT	2.38264	2.38454	3162393
random/medium/ unif-k7-r89-v90-c8010-S51928934-076.SATISFIABLE.cnf	SAT	2.52062	2.52149	3162758
random/large/ unif-k3-r4.2-v5000-c21000-S425619685-036-UNKNOWN.cnf	SAT	2.55861	2.5657	3162335
random/medium/ unif-k5-r21.3-v175-c3727-S110935064-075.SATISFIABLE.cnf	SAT	2.85556	2.85597	3162590
random/medium/ unif-k3-r4.26-v600-c2556-S1383380994-043.SATISFIABLE.cnf	SAT	2.87456	2.87502	3162809
random/large/ unif-k3-r4.2-v5000-c21000-S936020932-012-UNKNOWN.cnf	SAT	2.93355	2.93381	3162329
random/large/ unif-k3-r4.2-v5000-c21000-S912026804-034-UNKNOWN.cnf	SAT	2.98854	2.98978	3162326
random/large/ unif-k3-r4.2-v10000-c42000-S963265686-085-UNKNOWN.cnf	SAT	3.08453	3.08604	3162372
random/large/ unif-k3-r4.2-v5000-c21000-S1781430408-009-UNKNOWN.cnf	SAT	3.08853	3.09052	3162446
random/large/ unif-k5-r20-v750-c15000-S957625236-045-UNKNOWN.cnf	SAT	3.34149	3.34238	3162278
random/large/ unif-k3-r4.2-v10000-c42000-S903594090-011-UNKNOWN.cnf	SAT	3.34849	3.35402	3162359
random/medium/ unif-k7-r89-v70-c6230-S2143190124-085.SATISFIABLE.cnf	SAT	3.44748	3.45103	3162573
random/medium/ unif-k3-r4.26-v600-c2556-S2019147653-030.SATISFIABLE.cnf	SAT	3.66744	3.67232	3162601
random/large/ unif-k5-r20-v750-c15000-S656533785-100-UNKNOWN.cnf	SAT	3.85541	3.85716	3162427
random/medium/ unif-k7-r89-v90-c8010-S501033814-049.SATISFIABLE.cnf	SAT	4.01839	4.01944	3162744
random/large/ unif-k3-r4.2-v2500-c10500-S49783605-066-UNKNOWN.cnf	SAT	4.46732	4.46797	3162416
random/large/ unif-k3-r4.2-v5000-c21000-S1259410977-065-UNKNOWN.cnf	SAT	4.48732	4.48867	3162411
random/medium/ unif-k3-r4.26-v650-c2769-S1069233620-009.SATISFIABLE.cnf	SAT	4.49631	4.4972	3162728
random/medium/ unif-k7-r89-v60-c5340-S1982873755-080.SATISFIABLE.cnf	SAT	4.78227	4.78436	3162721
random/medium/ unif-k5-r21.3-v125-c2662-S236776564-037.SATISFIABLE.cnf	SAT	5.04423	5.04711	3162836
random/large/ unif-k3-r4.2-v10000-c42000-S338979727-056-UNKNOWN.cnf	SAT	5.52816	5.53218	3162300
random/medium/ unif-k7-r89-v80-c7120-S513640009-027.SATISFIABLE.cnf	SAT	6.21705	6.21792	3162776
random/medium/ unif-k3-r4.26-v700-c2982-S608588601-044.SATISFIABLE.cnf	SAT	6.48401	6.48833	3162747
random/medium/ unif-k7-r89-v80-c7120-S1957603206-080.SATISFIABLE.cnf	SAT	6.97894	6.98156	3162813
random/medium/ unif-k3-r4.26-v750-c3195-S2050161601-088.SATISFIABLE.cnf	SAT	7.02793	7.02868	3162624
random/medium/ unif-k7-r89-v90-c8010-S661190852-039.SATISFIABLE.cnf	SAT	7.03993	7.04077	3162504
random/medium/ unif-k3-r4.26-v750-c3195-S397702672-080.SATISFIABLE.cnf	SAT	7.07692	7.07737	3162863
random/medium/ unif-k5-r21.3-v175-c3727-S1126657927-015.SATISFIABLE.cnf	SAT	7.2359	7.23823	3162832
random/large/ unif-k7-r85-v150-c12750-S1737989193-079-UNKNOWN.cnf	SAT	7.42387	7.42392	3162434
random/medium/ unif-k5-r21.3-v175-c3727-S185833400-026.SATISFIABLE.cnf	SAT	8.07677	8.07831	3162759
random/large/ unif-k3-r4.2-v10000-c42000-S360796849-068-UNKNOWN.cnf	SAT	8.08277	8.08562	3162273
random/large/ unif-k3-r4.2-v5000-c21000-S1157767653-025-UNKNOWN.cnf	SAT	8.26874	8.27038	3162322
random/medium/ unif-k5-r21.3-v175-c3727-S100095490-071.SATISFIABLE.cnf	SAT	8.46371	8.46391	3162664
random/medium/ unif-k7-r89-v80-c7120-S1254315629-032.SATISFIABLE.cnf	SAT	8.63369	8.63652	3162625
random/large/ unif-k3-r4.2-v15000-c63000-S38529837-091-UNKNOWN.cnf	SAT	9.8385	9.84465	3162353
random/medium/ unif-k3-r4.26-v500-c2130-S261841674-082.SATISFIABLE.cnf	SAT	10.4164	10.4174	3162676
random/large/ unif-k3-r4.2-v2500-c10500-S882087907-088-UNKNOWN.cnf	SAT	10.8913	10.8948	3162343
random/large/ unif-k3-r4.2-v20000-c84000-S525505471-054-UNKNOWN.cnf	SAT	11.4443	11.4516	3162368
random/large/ unif-k5-r20-v1000-c20000-S1950850246-038-UNKNOWN.cnf	SAT	11.6192	11.6194	3162357
random/large/ unif-k3-r4.2-v15000-c63000-S976131144-051-UNKNOWN.cnf	SAT	11.9932	11.9977	3162340
random/large/ unif-k5-r20-v1000-c20000-S941604910-059-UNKNOWN.cnf	SAT	12.0632	12.0718	3162289
random/large/ unif-k5-r20-v750-c15000-S440979335-036-UNKNOWN.cnf	SAT	12.3501	12.3508	3162351
random/medium/ unif-k7-r89-v90-c8010-S271997978-024.SATISFIABLE.cnf	SAT	12.849	12.8514	3162782
random/large/ unif-k5-r20-v750-c15000-S976181807-056-UNKNOWN.cnf	SAT	13.204	13.2048	3162456
random/medium/ unif-k7-r89-v70-c6230-S1335110382-066.SATISFIABLE.cnf	SAT	13.257	13.2593	3162657
random/large/ unif-k3-r4.2-v20000-c84000-S313385224-076-UNKNOWN.cnf	SAT	13.7849	13.7916	3162392
random/medium/ unif-k3-r4.26-v600-c2556-S1468528501-076.SATISFIABLE.cnf	SAT	14.0419	14.043	3162579
random/large/ unif-k3-r4.2-v15000-c63000-S43885340-006-UNKNOWN.cnf	SAT	14.2018	14.2087	3162449
random/medium/ unif-k7-r89-v60-c5340-S1458986015-022.SATISFIABLE.cnf	SAT	15.9276	15.9279	3162632
random/medium/ unif-k7-r89-v80-c7120-S175431861-098.SATISFIABLE.cnf	SAT	16.5455	16.5459	3162606
random/large/ unif-k5-r20-v750-c15000-S64285713-004-UNKNOWN.cnf	SAT	17.4174	17.4196	3162403
random/large/ unif-k3-r4.2-v15000-c63000-S980027332-029-UNKNOWN.cnf	SAT	17.5403	17.5448	3162366
random/large/ unif-k5-r20-v1250-c25000-S269694958-008-UNKNOWN.cnf	SAT	17.7973	17.8007	3162400
random/large/ unif-k3-r4.2-v2500-c10500-S924370159-018-UNKNOWN.cnf	SAT	17.9883	17.9894	3162295
random/medium/ unif-k3-r4.26-v600-c2556-S2050053883-062.SATISFIABLE.cnf	SAT	18.2422	18.2452	3162748
random/large/ unif-k3-r4.2-v10000-c42000-S1778317451-042-UNKNOWN.cnf	SAT	18.5982	18.5987	3162461
random/medium/ unif-k3-r4.26-v650-c2769-S1402967451-034.SATISFIABLE.cnf	SAT	18.7831	18.7853	3162837
random/large/ unif-k3-r4.2-v30000-c126000-S285324961-078-UNKNOWN.cnf	SAT	18.9671	18.9721	3162420
random/large/ unif-k3-r4.2-v25000-c105000-S919014656-003-UNKNOWN.cnf	SAT	19.0021	19.0066	3162471
random/medium/ unif-k5-r21.3-v175-c3727-S539832832-088.SATISFIABLE.cnf	SAT	19.508	19.5077	3162561
random/large/ unif-k3-r4.2-v15000-c63000-S1201608256-021-UNKNOWN.cnf	SAT	20.9058	20.9127	3162336
random/large/ unif-k3-r4.2-v20000-c84000-S1204913987-029-UNKNOWN.cnf	SAT	22.0446	22.0537	3162287
random/large/ unif-k3-r4.2-v10000-c42000-S1256256213-053-UNKNOWN.cnf	SAT	22.0606	22.0652	3162274
random/large/ unif-k3-r4.2-v25000-c105000-S1233052734-067-UNKNOWN.cnf	SAT	23.9984	24.0061	3162286
random/large/ unif-k3-r4.2-v25000-c105000-S808762165-030-UNKNOWN.cnf	SAT	25.1482	25.1543	3162465
random/large/ unif-k3-r4.2-v25000-c105000-S269939581-066-UNKNOWN.cnf	SAT	25.5211	25.5242	3162425
random/large/ unif-k3-r4.2-v5000-c21000-S901912629-090-UNKNOWN.cnf	SAT	26.463	26.4649	3162443
random/medium/ unif-k7-r89-v90-c8010-S231612998-061.SATISFIABLE.cnf	SAT	29.1396	29.1409	3162767
random/large/ unif-k5-r20-v1000-c20000-S883282443-030-UNKNOWN.cnf	SAT	30.2124	30.2131	3162279
random/large/ unif-k5-r20-v750-c15000-S1207160791-083-UNKNOWN.cnf	SAT	30.5504	30.5511	3162396
random/large/ unif-k3-r4.2-v15000-c63000-S1868678442-026-UNKNOWN.cnf	SAT	31.1613	31.1663	3162280
random/large/ unif-k3-r4.2-v20000-c84000-S878494004-057-UNKNOWN.cnf	SAT	32.4941	32.4958	3162454
random/large/ unif-k3-r4.2-v20000-c84000-S493397373-056-UNKNOWN.cnf	SAT	35.2716	35.2809	3162373
random/large/ unif-k3-r4.2-v15000-c63000-S1386494586-003-UNKNOWN.cnf	SAT	36.1405	36.1426	3162383
random/medium/ unif-k5-r21.3-v175-c3727-S82160031-050.SATISFIABLE.cnf	SAT	38.2892	38.2906	3162599
random/medium/ unif-k7-r89-v90-c8010-S2039249975-038.SATISFIABLE.cnf	SAT	38.4761	38.4764	3162828
random/large/ unif-k3-r4.2-v25000-c105000-S92008434-079-UNKNOWN.cnf	SAT	40.0889	40.091	3162293
random/large/ unif-k3-r4.2-v10000-c42000-S709804505-031-UNKNOWN.cnf	SAT	40.9418	40.945	3162313
random/large/ unif-k5-r20-v1500-c30000-S969405384-096-UNKNOWN.cnf	SAT	44.3013	44.303	3162380
random/large/ unif-k3-r4.2-v35000-c147000-S1098107876-060-UNKNOWN.cnf	SAT	45.3581	45.3651	3162294
random/large/ unif-k3-r4.2-v40000-c168000-S709305826-098-UNKNOWN.cnf	SAT	45.6951	45.707	3162339
random/large/ unif-k5-r20-v1250-c25000-S1245360321-088-UNKNOWN.cnf	SAT	49.2365	49.2375	3162376
random/large/ unif-k3-r4.2-v40000-c168000-S1368340883-085-UNKNOWN.cnf	SAT	50.5953	50.6016	3162310
random/large/ unif-k3-r4.2-v30000-c126000-S1354319962-100-UNKNOWN.cnf	SAT	52.893	52.9094	3162430
random/large/ unif-k3-r4.2-v10000-c42000-S977705304-066-UNKNOWN.cnf	SAT	53.9098	53.9121	3162318
random/large/ unif-k5-r20-v1000-c20000-S519298227-080-UNKNOWN.cnf	SAT	54.7627	54.7644	3162459
random/large/ unif-k3-r4.2-v40000-c168000-S1920335371-069-UNKNOWN.cnf	SAT	56.0875	56.0941	3162437
random/medium/ unif-k5-r21.3-v150-c3195-S1499315720-089.SATISFIABLE.cnf	SAT	56.3784	56.3788	3162751
random/large/ unif-k3-r4.2-v20000-c84000-S840292785-048-UNKNOWN.cnf	SAT	60.3578	60.3589	3162417
random/large/ unif-k5-r20-v750-c15000-S1787347746-067-UNKNOWN.cnf	SAT	60.8158	60.8205	3162388
random/large/ unif-k3-r4.2-v30000-c126000-S379804333-028-UNKNOWN.cnf	SAT	62.4335	62.4383	3162384
random/large/ unif-k3-r4.2-v5000-c21000-S72547786-008-UNKNOWN.cnf	SAT	65.675	65.6762	3162360
random/large/ unif-k3-r4.2-v30000-c126000-S629207485-001-UNKNOWN.cnf	SAT	71.5621	71.5663	3162314
random/large/ unif-k5-r20-v750-c15000-S131912631-041-UNKNOWN.cnf	SAT	71.7331	71.7303	3162369
random/large/ unif-k5-r20-v1000-c20000-S1351005860-011-UNKNOWN.cnf	SAT	71.9741	71.9732	3162457
random/large/ unif-k3-r4.2-v20000-c84000-S1778371838-017-UNKNOWN.cnf	SAT	72.307	72.3106	3162309
random/large/ unif-k3-r4.2-v25000-c105000-S1838224332-006-UNKNOWN.cnf	SAT	86.7978	86.8004	3162324
random/large/ unif-k3-r4.2-v25000-c105000-S109959541-056-UNKNOWN.cnf	SAT	87.7936	87.7966	3162345
random/large/ unif-k5-r20-v1500-c30000-S715182559-083-UNKNOWN.cnf	SAT	89.3534	89.3531	3162304
random/large/ unif-k3-r4.2-v20000-c84000-S1298436766-097-UNKNOWN.cnf	SAT	91.806	91.8156	3162415
random/large/ unif-k3-r4.2-v30000-c126000-S858279511-076-UNKNOWN.cnf	SAT	93.1638	93.1702	3162367
random/large/ unif-k5-r20-v1000-c20000-S698025027-034-UNKNOWN.cnf	SAT	106.772	106.771	3162435
random/large/ unif-k3-r4.2-v40000-c168000-S1184456903-078-UNKNOWN.cnf	SAT	112.671	112.68	3162377
random/large/ unif-k5-r20-v1250-c25000-S936047914-093-UNKNOWN.cnf	SAT	121.707	121.704	3162371
random/large/ unif-k5-r20-v1500-c30000-S303265982-092-UNKNOWN.cnf	SAT	121.815	121.813	3162382
random/large/ unif-k5-r20-v1500-c30000-S1793954886-065-UNKNOWN.cnf	SAT	122.013	122.011	3162307
random/large/ unif-k3-r4.2-v15000-c63000-S89201333-019-UNKNOWN.cnf	SAT	122.078	122.081	3162387
random/large/ unif-k5-r20-v750-c15000-S3662714-068-UNKNOWN.cnf	SAT	124.51	124.507	3162281
random/large/ unif-k3-r4.2-v30000-c126000-S926207202-053-UNKNOWN.cnf	SAT	125.035	125.049	3162426
random/large/ unif-k3-r4.2-v35000-c147000-S1886449473-022-UNKNOWN.cnf	SAT	130.328	130.334	3162391
random/large/ unif-k3-r4.2-v35000-c147000-S970100151-015-UNKNOWN.cnf	SAT	136.94	136.947	3162379
random/large/ unif-k3-r4.2-v40000-c168000-S64788608-008-UNKNOWN.cnf	SAT	138.192	138.198	3162386
random/large/ unif-k3-r4.2-v40000-c168000-S895938734-057-UNKNOWN.cnf	SAT	150.655	150.661	3162301
random/large/ unif-k3-r4.2-v50000-c210000-S1170024351-015-UNKNOWN.cnf	SAT	153.855	153.863	3162467
random/medium/ unif-k7-r89-v90-c8010-S1828831772-021.SATISFIABLE.cnf	SAT	155.463	155.462	3162566
random/medium/ unif-k3-r4.26-v750-c3195-S8215859-049.SATISFIABLE.cnf	SAT	165.526	165.527	3162481
random/large/ unif-k5-r20-v1250-c25000-S1103412232-098-UNKNOWN.cnf	SAT	176.39	176.387	3162296
random/large/ unif-k5-r20-v1000-c20000-S945664020-055-UNKNOWN.cnf	SAT	181.879	181.876	3162364
random/large/ unif-k3-r4.2-v2500-c10500-S705365444-036-UNKNOWN.cnf	SAT	192.338	192.337	3162381
random/large/ unif-k3-r4.2-v15000-c63000-S619136916-059-UNKNOWN.cnf	SAT	196.807	196.809	3162451
random/large/ unif-k3-r4.2-v20000-c84000-S921718479-079-UNKNOWN.cnf	SAT	204.445	204.445	3162356
random/large/ unif-k3-r4.2-v50000-c210000-S517749870-003-UNKNOWN.cnf	SAT	213.183	213.186	3162441
random/large/ unif-k3-r4.2-v35000-c147000-S1268831169-016-UNKNOWN.cnf	SAT	221.016	221.024	3162422
random/large/ unif-k5-r20-v1000-c20000-S72635791-098-UNKNOWN.cnf	SAT	225.754	225.748	3162317
random/large/ unif-k7-r85-v150-c12750-S1290198737-013-UNKNOWN.cnf	SAT	226.843	226.837	3162453
random/large/ unif-k7-r85-v150-c12750-S789865458-092-UNKNOWN.cnf	SAT	230.689	230.68	3162342
random/large/ unif-k3-r4.2-v10000-c42000-S1091905403-047-UNKNOWN.cnf	SAT	234.125	234.121	3162445
random/large/ unif-k5-r20-v1250-c25000-S313445894-099-UNKNOWN.cnf	SAT	246.737	246.733	3162469
random/large/ unif-k3-r4.2-v50000-c210000-S964643921-035-UNKNOWN.cnf	SAT	248.692	248.7	3162470
random/large/ unif-k5-r20-v1000-c20000-S107009952-009-UNKNOWN.cnf	SAT	267.368	267.36	3162272
random/large/ unif-k3-r4.2-v40000-c168000-S907804052-003-UNKNOWN.cnf	SAT	273.432	273.439	3162448
random/large/ unif-k5-r20-v2000-c40000-S1264065752-051-UNKNOWN.cnf	SAT	279.102	279.1	3162399
random/large/ unif-k3-r4.2-v50000-c210000-S957916968-041-UNKNOWN.cnf	SAT	290.667	290.671	3162319
random/large/ unif-k3-r4.2-v35000-c147000-S883457431-033-UNKNOWN.cnf	SAT	291.591	291.59	3162277
random/large/ unif-k5-r20-v1250-c25000-S540595895-046-UNKNOWN.cnf	SAT	308.438	308.443	3162409
random/large/ unif-k3-r4.2-v25000-c105000-S5267991-057-UNKNOWN.cnf	SAT	312.282	312.288	3162338
random/large/ unif-k3-r4.2-v30000-c126000-S643238994-057-UNKNOWN.cnf	SAT	315.301	315.3	3162424
random/large/ unif-k3-r4.2-v50000-c210000-S1401248878-094-UNKNOWN.cnf	SAT	316.613	316.62	3162354
random/large/ unif-k3-r4.2-v25000-c105000-S30704505-092-UNKNOWN.cnf	SAT	318.072	318.074	3162397
random/large/ unif-k5-r20-v750-c15000-S888530894-020-UNKNOWN.cnf	SAT	333.727	333.718	3162390
random/large/ unif-k5-r20-v1500-c30000-S976428817-077-UNKNOWN.cnf	SAT	353.72	353.72	3162285
random/large/ unif-k3-r4.2-v15000-c63000-S594553190-015-UNKNOWN.cnf	SAT	355.73	355.722	3162442
random/large/ unif-k5-r20-v1500-c30000-S64154096-097-UNKNOWN.cnf	SAT	375.807	375.797	3162462
random/large/ unif-k3-r4.2-v35000-c147000-S648642831-094-UNKNOWN.cnf	SAT	378.192	378.192	3162378
random/large/ unif-k7-r85-v150-c12750-S511186849-048-UNKNOWN.cnf	SAT	400.024	400.015	3162423
random/large/ unif-k3-r4.2-v35000-c147000-S448503257-098-UNKNOWN.cnf	SAT	405.867	405.857	3162358
random/large/ unif-k3-r4.2-v50000-c210000-S537193780-078-UNKNOWN.cnf	SAT	416.236	416.236	3162305
random/large/ unif-k7-r85-v150-c12750-S367425675-085-UNKNOWN.cnf	SAT	462.306	462.299	3162401
random/large/ unif-k5-r20-v1250-c25000-S1688530456-019-UNKNOWN.cnf	SAT	467.392	467.379	3162297
random/large/ unif-k3-r4.2-v35000-c147000-S625465881-078-UNKNOWN.cnf	SAT	497.12	497.116	3162455
random/large/ unif-k3-r4.2-v30000-c126000-S1196935200-064-UNKNOWN.cnf	SAT	514.867	514.857	3162325
random/large/ unif-k3-r4.2-v25000-c105000-S533496308-018-UNKNOWN.cnf	SAT	558.88	558.873	3162363
random/large/ unif-k7-r85-v150-c12750-S93401285-051-UNKNOWN.cnf	SAT	575.505	575.492	3162275
random/large/ unif-k5-r20-v2000-c40000-S1993071608-084-UNKNOWN.cnf	SAT	591.01	590.998	3162406
random/large/ unif-k3-r4.2-v35000-c147000-S419010076-063-UNKNOWN.cnf	SAT	606.272	606.27	3162288
random/medium/ unif-k5-r21.3-v150-c3195-S1632870961-099.SATISFIABLE.cnf	SAT	623.247	623.242	3162729
random/large/ unif-k5-r20-v1250-c25000-S871131876-087-UNKNOWN.cnf	SAT	638.899	638.885	3162468
random/large/ unif-k5-r20-v1500-c30000-S877088425-001-UNKNOWN.cnf	SAT	668.23	668.225	3162292
random/large/ unif-k5-r20-v1500-c30000-S1305346115-067-UNKNOWN.cnf	SAT	730.636	730.618	3162452
random/large/ unif-k3-r4.2-v30000-c126000-S913491256-073-UNKNOWN.cnf	SAT	854.062	854.039	3162327
random/large/ unif-k5-r20-v1500-c30000-S377999798-061-UNKNOWN.cnf	SAT	872.659	872.638	3162408
random/large/ unif-k3-r4.2-v20000-c84000-S357264423-067-UNKNOWN.cnf	SAT	898.296	898.319	3162365
random/large/ unif-k3-r4.2-v50000-c210000-S874492400-019-UNKNOWN.cnf	SAT	909.267	909.278	3162352
random/large/ unif-k7-r85-v150-c12750-S541704841-072-UNKNOWN.cnf	SAT	1014.9	1014.89	3162283
random/large/ unif-k3-r4.2-v40000-c168000-S845438593-067-UNKNOWN.cnf	SAT	1042.77	1042.75	3162334
random/large/ unif-k3-r4.2-v30000-c126000-S1854039067-041-UNKNOWN.cnf	SAT	1062.25	1062.23	3162316
random/large/ unif-k5-r20-v2000-c40000-S1143439968-082-UNKNOWN.cnf	SAT	1083.5	1083.48	3162291
random/large/ unif-k7-r85-v200-c17000-S72668411-025-UNKNOWN.cnf	SAT	1194.75	1194.73	3162433
random/medium/ unif-k7-r89-v80-c7120-S2107193201-069.UNKNOWN.cnf	SAT	1294.75	1294.72	3162581

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

Result page for solver sparrow2011 sparrow2011_ubcsat1.2_2011-03-02 (incomplete)

Category "random instances" (RANDOM)

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

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