d5c732f3c1
Co-authored-by: David Chisnall <davidchisnall@users.noreply.github.com> Co-authored-by: Robert Norton <1412774+rmn30@users.noreply.github.com> Co-authored-by: Nathaniel Wesley Filardo <nfilardo@microsoft.com> Co-authored-by: Istvan Haller <31476121+ihaller@users.noreply.github.com>
161 lines
9.8 KiB
CSV
161 lines
9.8 KiB
CSV
barnes, sn-0.6.0-full-checks, 02.91, 65716, 2.88, 0.02, 0, 2863
|
|
espresso, sn-0.6.0-full-checks, 05.35, 12640, 5.30, 0.04, 0, 744
|
|
z3, sn-0.6.0-full-checks, 01.18, 72428, 1.17, 0.01, 0, 773
|
|
gs, sn-0.6.0-full-checks, 01.21, 54304, 1.18, 0.02, 0, 2018
|
|
redis, sn-0.6.0-full-checks, 4.435, 33628, 1.91, 0.32, 0, 8964
|
|
cfrac, sn-0.6.0-full-checks, 06.63, 3584, 6.63, 0.00, 0, 496
|
|
leanN, sn-0.6.0-full-checks, 26.78, 681948, 102.76, 1.04, 0, 16260
|
|
sed, sn-0.6.0-full-checks, 01.74, 349752, 1.65, 0.08, 0, 1670
|
|
barnes, sn-0.6.0-full-checks, 02.91, 65620, 2.90, 0.01, 0, 2854
|
|
espresso, sn-0.6.0-full-checks, 05.27, 12760, 5.23, 0.04, 0, 739
|
|
z3, sn-0.6.0-full-checks, 01.17, 70204, 1.16, 0.01, 0, 758
|
|
gs, sn-0.6.0-full-checks, 01.19, 56340, 1.15, 0.03, 0, 1955
|
|
redis, sn-0.6.0-full-checks, 4.504, 33404, 1.72, 0.54, 0, 8904
|
|
cfrac, sn-0.6.0-full-checks, 06.62, 3560, 6.62, 0.00, 0, 499
|
|
leanN, sn-0.6.0-full-checks, 26.59, 650568, 102.61, 1.04, 0, 12623
|
|
sed, sn-0.6.0-full-checks, 01.74, 347584, 1.63, 0.10, 0, 1694
|
|
barnes, sn-0.6.0-full-checks, 02.86, 65748, 2.82, 0.03, 0, 2853
|
|
espresso, sn-0.6.0-full-checks, 05.28, 12604, 5.25, 0.03, 0, 730
|
|
z3, sn-0.6.0-full-checks, 01.19, 72360, 1.18, 0.01, 0, 783
|
|
gs, sn-0.6.0-full-checks, 01.18, 56336, 1.15, 0.02, 0, 2378
|
|
redis, sn-0.6.0-full-checks, 4.406, 33360, 1.83, 0.39, 0, 8930
|
|
cfrac, sn-0.6.0-full-checks, 06.60, 3628, 6.60, 0.00, 0, 496
|
|
leanN, sn-0.6.0-full-checks, 26.99, 655148, 105.01, 1.00, 0, 13196
|
|
sed, sn-0.6.0-full-checks, 01.73, 349380, 1.65, 0.08, 0, 1545
|
|
barnes, sn-0.6.0-full-checks, 02.87, 65740, 2.85, 0.02, 0, 2853
|
|
espresso, sn-0.6.0-full-checks, 05.27, 12648, 5.20, 0.06, 0, 740
|
|
z3, sn-0.6.0-full-checks, 01.17, 70140, 1.14, 0.02, 0, 761
|
|
gs, sn-0.6.0-full-checks, 01.18, 54004, 1.16, 0.02, 0, 1961
|
|
redis, sn-0.6.0-full-checks, 4.357, 33356, 1.85, 0.34, 0, 8977
|
|
cfrac, sn-0.6.0-full-checks, 06.61, 3584, 6.61, 0.00, 0, 495
|
|
leanN, sn-0.6.0-full-checks, 26.66, 675748, 101.94, 1.01, 0, 13980
|
|
sed, sn-0.6.0-full-checks, 01.73, 347264, 1.64, 0.09, 0, 1571
|
|
barnes, sn-0.6.0-full-checks, 02.87, 65632, 2.86, 0.01, 0, 2853
|
|
espresso, sn-0.6.0-full-checks, 05.24, 12608, 5.22, 0.02, 0, 748
|
|
z3, sn-0.6.0-full-checks, 01.18, 72220, 1.17, 0.01, 0, 772
|
|
gs, sn-0.6.0-full-checks, 01.19, 56208, 1.15, 0.03, 0, 1961
|
|
redis, sn-0.6.0-full-checks, 4.369, 33168, 1.79, 0.40, 0, 8840
|
|
cfrac, sn-0.6.0-full-checks, 06.76, 3580, 6.76, 0.00, 0, 497
|
|
leanN, sn-0.6.0-full-checks, 26.67, 671232, 102.70, 1.00, 0, 13239
|
|
sed, sn-0.6.0-full-checks, 01.75, 351632, 1.63, 0.11, 0, 1713
|
|
barnes, sn-0.6.0-full-checks, 02.88, 65700, 2.86, 0.02, 0, 2854
|
|
espresso, sn-0.6.0-full-checks, 05.33, 12760, 5.29, 0.04, 0, 726
|
|
z3, sn-0.6.0-full-checks, 01.17, 70276, 1.16, 0.00, 0, 767
|
|
gs, sn-0.6.0-full-checks, 01.19, 54364, 1.15, 0.03, 0, 2014
|
|
redis, sn-0.6.0-full-checks, 4.343, 33512, 1.90, 0.29, 0, 9002
|
|
cfrac, sn-0.6.0-full-checks, 06.60, 3596, 6.60, 0.00, 0, 507
|
|
leanN, sn-0.6.0-full-checks, 26.23, 673484, 100.36, 0.96, 0, 12775
|
|
sed, sn-0.6.0-full-checks, 01.74, 349496, 1.65, 0.09, 0, 1693
|
|
barnes, sn-0.6.0-full-checks, 02.94, 65752, 2.90, 0.03, 0, 2856
|
|
espresso, sn-0.6.0-full-checks, 05.25, 12740, 5.22, 0.02, 0, 734
|
|
z3, sn-0.6.0-full-checks, 01.18, 70424, 1.16, 0.01, 0, 759
|
|
gs, sn-0.6.0-full-checks, 01.19, 53812, 1.17, 0.01, 0, 1939
|
|
redis, sn-0.6.0-full-checks, 4.392, 33984, 1.86, 0.35, 0, 9164
|
|
cfrac, sn-0.6.0-full-checks, 06.61, 3664, 6.61, 0.00, 0, 512
|
|
leanN, sn-0.6.0-full-checks, 27.06, 681168, 105.03, 1.04, 0, 11898
|
|
sed, sn-0.6.0-full-checks, 01.79, 347472, 1.72, 0.06, 0, 1697
|
|
barnes, sn-0.6.0-full-checks, 02.91, 65776, 2.88, 0.02, 0, 2856
|
|
espresso, sn-0.6.0-full-checks, 05.28, 12608, 5.27, 0.01, 0, 736
|
|
z3, sn-0.6.0-full-checks, 01.18, 70388, 1.15, 0.02, 0, 768
|
|
gs, sn-0.6.0-full-checks, 01.18, 54236, 1.16, 0.02, 0, 1958
|
|
redis, sn-0.6.0-full-checks, 4.403, 33604, 1.88, 0.33, 0, 9014
|
|
cfrac, sn-0.6.0-full-checks, 06.62, 3576, 6.62, 0.00, 0, 495
|
|
leanN, sn-0.6.0-full-checks, 26.55, 655872, 101.70, 1.10, 0, 13236
|
|
sed, sn-0.6.0-full-checks, 01.79, 347480, 1.70, 0.09, 0, 1697
|
|
barnes, sn-0.6.0-full-checks, 02.87, 65632, 2.85, 0.02, 0, 2855
|
|
espresso, sn-0.6.0-full-checks, 05.28, 12608, 5.25, 0.02, 0, 758
|
|
z3, sn-0.6.0-full-checks, 01.19, 70156, 1.17, 0.01, 0, 765
|
|
gs, sn-0.6.0-full-checks, 01.19, 54220, 1.15, 0.04, 0, 1945
|
|
redis, sn-0.6.0-full-checks, 4.406, 33720, 1.87, 0.35, 0, 9048
|
|
cfrac, sn-0.6.0-full-checks, 06.62, 3672, 6.62, 0.00, 0, 512
|
|
leanN, sn-0.6.0-full-checks, 27.77, 662424, 108.83, 0.93, 0, 13224
|
|
sed, sn-0.6.0-full-checks, 01.74, 349428, 1.65, 0.08, 0, 1596
|
|
barnes, sn-0.6.0-full-checks, 02.86, 65732, 2.84, 0.02, 0, 2854
|
|
espresso, sn-0.6.0-full-checks, 05.27, 12808, 5.26, 0.00, 0, 733
|
|
z3, sn-0.6.0-full-checks, 01.17, 70276, 1.15, 0.02, 0, 767
|
|
gs, sn-0.6.0-full-checks, 01.19, 54336, 1.15, 0.03, 0, 1947
|
|
redis, sn-0.6.0-full-checks, 4.415, 33776, 1.86, 0.36, 0, 9147
|
|
cfrac, sn-0.6.0-full-checks, 06.73, 3572, 6.73, 0.00, 0, 494
|
|
leanN, sn-0.6.0-full-checks, 27.00, 657728, 104.05, 0.79, 0, 14663
|
|
sed, sn-0.6.0-full-checks, 01.76, 347356, 1.66, 0.09, 0, 1590
|
|
barnes, sn-0.6.0-full-checks, 02.86, 65688, 2.84, 0.02, 0, 2855
|
|
espresso, sn-0.6.0-full-checks, 05.28, 12940, 5.26, 0.02, 0, 736
|
|
z3, sn-0.6.0-full-checks, 01.18, 70316, 1.17, 0.01, 0, 764
|
|
gs, sn-0.6.0-full-checks, 01.20, 54284, 1.17, 0.02, 0, 1957
|
|
redis, sn-0.6.0-full-checks, 4.645, 33244, 1.93, 0.41, 0, 8835
|
|
cfrac, sn-0.6.0-full-checks, 06.62, 3600, 6.61, 0.00, 0, 494
|
|
leanN, sn-0.6.0-full-checks, 26.70, 667524, 101.43, 0.87, 0, 12013
|
|
sed, sn-0.6.0-full-checks, 01.74, 347576, 1.67, 0.07, 0, 1696
|
|
barnes, sn-0.6.0-full-checks, 02.87, 65668, 2.84, 0.03, 0, 2853
|
|
espresso, sn-0.6.0-full-checks, 05.28, 12644, 5.25, 0.02, 0, 736
|
|
z3, sn-0.6.0-full-checks, 01.18, 72472, 1.16, 0.02, 0, 780
|
|
gs, sn-0.6.0-full-checks, 01.18, 54196, 1.17, 0.01, 0, 1955
|
|
redis, sn-0.6.0-full-checks, 4.429, 33292, 1.83, 0.40, 0, 8884
|
|
cfrac, sn-0.6.0-full-checks, 06.71, 3668, 6.70, 0.00, 0, 511
|
|
leanN, sn-0.6.0-full-checks, 26.04, 680596, 99.47, 0.93, 0, 14036
|
|
sed, sn-0.6.0-full-checks, 01.74, 347564, 1.63, 0.10, 0, 1649
|
|
barnes, sn-0.6.0-full-checks, 02.87, 65620, 2.83, 0.03, 0, 2851
|
|
espresso, sn-0.6.0-full-checks, 05.29, 12660, 5.27, 0.01, 0, 729
|
|
z3, sn-0.6.0-full-checks, 01.19, 70084, 1.17, 0.01, 0, 759
|
|
gs, sn-0.6.0-full-checks, 01.18, 54320, 1.17, 0.01, 0, 1964
|
|
redis, sn-0.6.0-full-checks, 4.443, 33348, 1.77, 0.46, 0, 8872
|
|
cfrac, sn-0.6.0-full-checks, 06.62, 3640, 6.62, 0.00, 0, 512
|
|
leanN, sn-0.6.0-full-checks, 27.41, 674896, 106.67, 0.85, 0, 14026
|
|
sed, sn-0.6.0-full-checks, 01.79, 349524, 1.69, 0.10, 0, 1683
|
|
barnes, sn-0.6.0-full-checks, 02.90, 65716, 2.89, 0.01, 0, 2870
|
|
espresso, sn-0.6.0-full-checks, 05.28, 10580, 5.26, 0.02, 0, 1111
|
|
z3, sn-0.6.0-full-checks, 01.18, 70424, 1.17, 0.01, 0, 766
|
|
gs, sn-0.6.0-full-checks, 01.18, 54272, 1.16, 0.02, 0, 1944
|
|
redis, sn-0.6.0-full-checks, 4.441, 33556, 1.88, 0.35, 0, 8974
|
|
cfrac, sn-0.6.0-full-checks, 06.61, 3632, 6.61, 0.00, 0, 504
|
|
leanN, sn-0.6.0-full-checks, 26.09, 670788, 99.44, 0.85, 0, 13183
|
|
sed, sn-0.6.0-full-checks, 01.74, 347336, 1.64, 0.09, 0, 1539
|
|
barnes, sn-0.6.0-full-checks, 02.85, 65668, 2.84, 0.01, 0, 2850
|
|
espresso, sn-0.6.0-full-checks, 05.33, 12672, 5.29, 0.04, 0, 744
|
|
z3, sn-0.6.0-full-checks, 01.20, 70352, 1.19, 0.01, 0, 763
|
|
gs, sn-0.6.0-full-checks, 01.19, 54336, 1.15, 0.03, 0, 2006
|
|
redis, sn-0.6.0-full-checks, 4.438, 33844, 1.91, 0.31, 0, 9062
|
|
cfrac, sn-0.6.0-full-checks, 06.64, 3604, 6.64, 0.00, 0, 498
|
|
leanN, sn-0.6.0-full-checks, 27.52, 671932, 105.43, 0.99, 0, 15234
|
|
sed, sn-0.6.0-full-checks, 01.73, 345648, 1.65, 0.07, 0, 1696
|
|
barnes, sn-0.6.0-full-checks, 02.93, 65632, 2.92, 0.01, 0, 2854
|
|
espresso, sn-0.6.0-full-checks, 05.26, 12632, 5.22, 0.03, 0, 727
|
|
z3, sn-0.6.0-full-checks, 01.19, 70152, 1.15, 0.03, 0, 756
|
|
gs, sn-0.6.0-full-checks, 01.19, 54004, 1.17, 0.01, 0, 1957
|
|
redis, sn-0.6.0-full-checks, 4.395, 33452, 1.84, 0.37, 0, 8967
|
|
cfrac, sn-0.6.0-full-checks, 06.62, 3584, 6.62, 0.00, 0, 495
|
|
leanN, sn-0.6.0-full-checks, 25.72, 685952, 96.81, 0.91, 0, 12094
|
|
sed, sn-0.6.0-full-checks, 01.79, 347652, 1.70, 0.09, 0, 1639
|
|
barnes, sn-0.6.0-full-checks, 02.87, 65580, 2.85, 0.01, 0, 2854
|
|
espresso, sn-0.6.0-full-checks, 05.27, 12940, 5.25, 0.02, 0, 757
|
|
z3, sn-0.6.0-full-checks, 01.18, 70108, 1.16, 0.01, 0, 766
|
|
gs, sn-0.6.0-full-checks, 01.18, 54372, 1.15, 0.02, 0, 1953
|
|
redis, sn-0.6.0-full-checks, 4.486, 33236, 1.84, 0.42, 0, 8862
|
|
cfrac, sn-0.6.0-full-checks, 06.63, 3632, 6.63, 0.00, 0, 510
|
|
leanN, sn-0.6.0-full-checks, 26.27, 673524, 100.89, 0.85, 0, 13522
|
|
sed, sn-0.6.0-full-checks, 01.76, 349592, 1.69, 0.07, 0, 1642
|
|
barnes, sn-0.6.0-full-checks, 02.88, 65744, 2.87, 0.01, 0, 2863
|
|
espresso, sn-0.6.0-full-checks, 05.27, 12588, 5.26, 0.01, 0, 725
|
|
z3, sn-0.6.0-full-checks, 01.19, 70400, 1.19, 0.00, 0, 772
|
|
gs, sn-0.6.0-full-checks, 01.22, 56300, 1.18, 0.03, 0, 1960
|
|
redis, sn-0.6.0-full-checks, 4.432, 33844, 1.81, 0.42, 0, 9037
|
|
cfrac, sn-0.6.0-full-checks, 06.61, 3708, 6.61, 0.00, 0, 516
|
|
leanN, sn-0.6.0-full-checks, 26.06, 653060, 99.23, 1.01, 0, 12978
|
|
sed, sn-0.6.0-full-checks, 01.75, 347260, 1.66, 0.08, 0, 1585
|
|
barnes, sn-0.6.0-full-checks, 02.87, 65616, 2.85, 0.01, 0, 2855
|
|
espresso, sn-0.6.0-full-checks, 05.28, 12652, 5.26, 0.02, 0, 733
|
|
z3, sn-0.6.0-full-checks, 01.19, 70324, 1.16, 0.02, 0, 763
|
|
gs, sn-0.6.0-full-checks, 01.19, 54320, 1.15, 0.03, 0, 1961
|
|
redis, sn-0.6.0-full-checks, 4.408, 33576, 1.89, 0.32, 0, 9014
|
|
cfrac, sn-0.6.0-full-checks, 06.64, 3660, 6.64, 0.00, 0, 508
|
|
leanN, sn-0.6.0-full-checks, 26.62, 676740, 102.76, 0.92, 0, 13834
|
|
sed, sn-0.6.0-full-checks, 01.74, 347536, 1.62, 0.11, 0, 1703
|
|
barnes, sn-0.6.0-full-checks, 02.85, 65632, 2.83, 0.01, 0, 2853
|
|
espresso, sn-0.6.0-full-checks, 05.27, 12648, 5.24, 0.03, 0, 737
|
|
z3, sn-0.6.0-full-checks, 01.17, 70352, 1.15, 0.01, 0, 769
|
|
gs, sn-0.6.0-full-checks, 01.19, 53988, 1.16, 0.02, 0, 2022
|
|
redis, sn-0.6.0-full-checks, 4.478, 33468, 1.91, 0.34, 0, 8968
|
|
cfrac, sn-0.6.0-full-checks, 06.61, 3604, 6.60, 0.00, 0, 494
|
|
leanN, sn-0.6.0-full-checks, 26.12, 671828, 98.39, 0.91, 0, 13146
|
|
sed, sn-0.6.0-full-checks, 01.74, 349584, 1.65, 0.09, 0, 1713
|