API tools faq
paste
Advertisement
froleyks

temp.org

froleyks
Feb 24th, 2021
163
0
Never
Add comment
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 39.05 KB | None | 0 0
raw download clone embed print report
  1. - dropping 40 unsolved
  2. - dropping 238 trivial
  3. - n = 265
  4. | | Mini | Cadi | Cnst | nConstr | S_MiniCadi | S_CadiCnst | S_MiniCnst |
  5. |-------------------------------------------------------+----------+----------+----------+-----------+---------------+--------------+--------------|
  6. | Mean PAR2 | 206.429 | 109.671 | 21.5594 | nan | 1.88226 | 5.0869 | 9.57487 |
  7. | pgm_protocol.7.prop1-back-serstep | 7200 | 300.22 | 224.92 | 127803 | 23.9824 | 1.33479 | 32.0114 |
  8. | mul2 | 7200 | 30.05 | 27.27 | 779 | 239.601 | 1.10194 | 264.026 |
  9. | beem_adding.5.prop1-func-interl | 7200 | 1.23 | 1.03 | 6207 | 5853.66 | 1.19417 | 6990.29 |
  10. | brp2.2.prop1-func-interl | 7200 | 2238.92 | 99.44 | 548378 | 3.21584 | 22.5153 | 72.4055 |
  11. | beem_cambridge.7.prop2-back-serstep | 7200 | 7200 | 40.18 | 35069 | 1 | 179.194 | 179.194 |
  12. | beem_exit.5.prop1-func-interl | 20.9 | 7200 | 38.79 | 172163 | 0.00290278 | 185.615 | 0.538799 |
  13. | rast-p14 | 7200 | 7200 | 148.24 | 431539 | 1 | 48.5699 | 48.5699 |
  14. | mul3 | 7200 | 353 | 602.1 | 1547 | 20.3966 | 0.586281 | 11.9581 |
  15. | mul7 | 784.44 | 575.81 | 696.09 | 1567 | 1.36232 | 0.827206 | 1.12692 |
  16. | beem_collision.6.prop1-func-interl | 453.36 | 234.2 | 352.28 | 275497 | 1.93578 | 0.664812 | 1.28693 |
  17. | beem_synapse.7.prop1-func-interl | 254.09 | 371.11 | 398.2 | 876185 | 0.684676 | 0.931969 | 0.638096 |
  18. | cal112 | 331.25 | 182.59 | 174.4 | 29394 | 1.81417 | 1.04696 | 1.89937 |
  19. | at.6.prop1-back-serstep | 63.13 | 189.81 | 248.76 | 787869 | 0.332596 | 0.763025 | 0.253779 |
  20. | cal110_cal110 | 226.48 | 135.9 | 162.21 | 72080 | 1.66652 | 0.837803 | 1.39621 |
  21. | cal102 | 196.7 | 134.3 | 129.76 | 30761 | 1.46463 | 1.03499 | 1.51588 |
  22. | beem_telephony.6.prop1-func-interl | 3.97 | 137.12 | 166.77 | 481252 | 0.0289527 | 0.82221 | 0.0238052 |
  23. | cal109_cal109 | 160.16 | 132 | 124.27 | 46565 | 1.21333 | 1.0622 | 1.28881 |
  24. | cal94_cal94 | 137.62 | 136.36 | 118.4 | 54666 | 1.00924 | 1.15169 | 1.16233 |
  25. | vcegar_QF_BV_ar | 96.87 | 106.83 | 135.66 | 40015 | 0.906768 | 0.787483 | 0.714065 |
  26. | cal93_cal93 | 121.39 | 100.88 | 116 | 49509 | 1.20331 | 0.869655 | 1.04647 |
  27. | cal106 | 120.54 | 90.91 | 86.38 | 30793 | 1.32593 | 1.05244 | 1.39546 |
  28. | cal97 | 85.4 | 109.62 | 77.4 | 25164 | 0.779055 | 1.41628 | 1.10336 |
  29. | cal107 | 96.69 | 105.27 | 82.81 | 28547 | 0.918495 | 1.27122 | 1.16761 |
  30. | beem_leader_election.3.prop1-back-serstep | 55.25 | 82.28 | 96.79 | 59007 | 0.671488 | 0.850088 | 0.570823 |
  31. | beem_frogs.2.prop1-back-serstep | 7.39 | 91.15 | 6.33 | 3479 | 0.0810752 | 14.3997 | 1.16746 |
  32. | cal123 | 37.21 | 89.02 | 45.8 | 30311 | 0.417996 | 1.94367 | 0.812445 |
  33. | cal132_cal132 | 29.64 | 73.35 | 50.83 | 26277 | 0.40409 | 1.44305 | 0.58312 |
  34. | cal100_cal100 | 44.45 | 73.03 | 52.24 | 33115 | 0.608654 | 1.39797 | 0.850881 |
  35. | cal99 | 27.9 | 60.57 | 67.98 | 45272 | 0.460624 | 0.890997 | 0.410415 |
  36. | cal146_cal146 | 43.91 | 64.48 | 67.14 | 43001 | 0.680986 | 0.960381 | 0.654007 |
  37. | rast-p00 | 47.03 | 60.31 | 66.92 | 246392 | 0.779804 | 0.901225 | 0.702779 |
  38. | cal134_cal134 | 27.87 | 65.25 | 41.04 | 21531 | 0.427126 | 1.58991 | 0.679094 |
  39. | cal21 | 1.9 | 64.23 | 3.54 | 16875 | 0.0295812 | 18.1441 | 0.536723 |
  40. | cal143 | 25.35 | 63.84 | 36.14 | 21544 | 0.397086 | 1.76646 | 0.701439 |
  41. | cal136_cal136 | 25.77 | 61.57 | 48.56 | 24366 | 0.418548 | 1.26792 | 0.530684 |
  42. | cal131_cal131 | 30.8 | 49.17 | 60.14 | 36445 | 0.626398 | 0.817592 | 0.512138 |
  43. | cal119 | 24.46 | 42.05 | 59.63 | 35162 | 0.581688 | 0.705182 | 0.410196 |
  44. | cal144_cal144 | 31.36 | 57.63 | 50.85 | 29188 | 0.544161 | 1.13333 | 0.616716 |
  45. | cal129 | 32.08 | 54.13 | 33.08 | 19604 | 0.592647 | 1.63634 | 0.96977 |
  46. | cal128_cal128 | 31.66 | 49.03 | 39.15 | 23834 | 0.645727 | 1.25236 | 0.808685 |
  47. | cal122 | 43.5 | 41.97 | 31.14 | 17256 | 1.03645 | 1.34778 | 1.39692 |
  48. | cal125 | 21.28 | 41.89 | 30.15 | 16918 | 0.507997 | 1.38939 | 0.705804 |
  49. | cal118 | 23.24 | 32.96 | 40.74 | 24899 | 0.705097 | 0.809033 | 0.570447 |
  50. | cal86 | 22.08 | 40.44 | 27.48 | 14790 | 0.545994 | 1.47162 | 0.803493 |
  51. | beem_rether.4.prop1-back-serstep | 30.56 | 4.69 | 37.58 | 65840 | 6.51599 | 0.1248 | 0.813199 |
  52. | cal140 | 19.28 | 36.62 | 36.24 | 21616 | 0.526488 | 1.01049 | 0.532009 |
  53. | beem_lamport_nonatomic.5.prop1-func-interl | 18.92 | 34.56 | 34.56 | 91297 | 0.547454 | 1 | 0.547454 |
  54. | cal117 | 25.44 | 34.34 | 33.96 | 17749 | 0.740827 | 1.01119 | 0.749117 |
  55. | cal149 | 21.1 | 32.67 | 26.42 | 13203 | 0.645852 | 1.23656 | 0.798637 |
  56. | cal142 | 16.95 | 27.82 | 32.04 | 17337 | 0.609274 | 0.86829 | 0.529026 |
  57. | cal87 | 20.57 | 30.43 | 22.7 | 11979 | 0.675978 | 1.34053 | 0.906167 |
  58. | cal89_cal89 | 19.08 | 29.01 | 21.09 | 12364 | 0.657704 | 1.37553 | 0.904694 |
  59. | cal90 | 17.3 | 26.13 | 25.72 | 14661 | 0.662074 | 1.01594 | 0.672628 |
  60. | cal84 | 17.37 | 24.46 | 20.72 | 14368 | 0.710139 | 1.1805 | 0.83832 |
  61. | cal176 | 5.86 | 6.57 | 3.59 | 4192 | 0.891933 | 1.83008 | 1.63231 |
  62. | beem_brp.2.prop1-func-interl | 5.94 | 2.02 | 1.42 | 11346 | 2.94059 | 1.42254 | 4.1831 |
  63. | vis_arrays_bufferAlloc | 0.2 | 3.5 | 5.66 | 56997 | 0.0571429 | 0.618375 | 0.0353357 |
  64. | gen43 | 2.2 | 2.54 | 4.91 | 9473 | 0.866142 | 0.517312 | 0.448065 |
  65. | cal27_cal27 | 0.7 | 4.82 | 2.18 | 6048 | 0.145228 | 2.21101 | 0.321101 |
  66. | gen23_gen23 | 0.67 | 4.52 | 0.56 | 1305 | 0.14823 | 8.07143 | 1.19643 |
  67. | gen44 | 2.48 | 4.18 | 4.05 | 9216 | 0.593301 | 1.0321 | 0.612346 |
  68. | gen19_gen19 | 2.62 | 4 | 0.11 | 323 | 0.655 | 36.3636 | 23.8182 |
  69. | 2019C_qspiflash_dualflexpress_divthree-p004 | 0.34 | 0.12 | 3.75 | 1 | 2.83333 | 0.032 | 0.0906667 |
  70. | 2019C_qspiflash_dualflexpress_divfive-p070 | 0.18 | 0.12 | 3.74 | 1 | 1.5 | 0.0320856 | 0.0481283 |
  71. | 2019C_dspfilters_fastfir_second-p15 | 0.19 | 0.2 | 3.73 | 1 | 0.95 | 0.0536193 | 0.0509383 |
  72. | cal34 | 0.99 | 3.69 | 3.01 | 9590 | 0.268293 | 1.22591 | 0.328904 |
  73. | qspiflash_dualflexpress_divfive-p058 | 3.68 | 0.64 | 1.46 | 1 | 5.75 | 0.438356 | 2.52055 |
  74. | 2019C_dspfilters_fastfir_second-p20 | 0.18 | 0.21 | 3.68 | 1 | 0.857143 | 0.0570652 | 0.048913 |
  75. | 2019A_picorv32_mutCX_nomem-p3 | 1.36 | 3.67 | 1.47 | 1 | 0.370572 | 2.4966 | 0.92517 |
  76. | qspiflash_dualflexpress_divfive-p007 | 3.67 | 2.68 | 1.82 | 1 | 1.3694 | 1.47253 | 2.01648 |
  77. | 2019C_qspiflash_dualflexpress_divfive-p057 | 0.09 | 0.08 | 3.63 | 1 | 1.125 | 0.0220386 | 0.0247934 |
  78. | 2019A_picorv32_mutAY_nomem-p7 | 1.16 | 3.6 | 1.07 | 1 | 0.322222 | 3.36449 | 1.08411 |
  79. | zipcpu-pfcache-p22 | 3.59 | 2.61 | 1.65 | 1 | 1.37548 | 1.58182 | 2.17576 |
  80. | zipcpu-busdelay-p30 | 3.49 | 2.54 | 1.61 | 1 | 1.37402 | 1.57764 | 2.1677 |
  81. | ridecore | 3.18 | 3.14 | 3.48 | 1 | 1.01274 | 0.902299 | 0.913793 |
  82. | buggy_ridecore | 3.05 | 3.4 | 3.18 | 1 | 0.897059 | 1.06918 | 0.959119 |
  83. | 2019C_qspiflash_dualflexpress_divfive-p053 | 0.09 | 0.09 | 3.31 | 1 | 1 | 0.0271903 | 0.0271903 |
  84. | cal9_cal9 | 1.81 | 3.3 | 0.11 | 155 | 0.548485 | 30 | 16.4545 |
  85. | cal78_cal78 | 0.68 | 3.21 | 0.37 | 805 | 0.211838 | 8.67568 | 1.83784 |
  86. | dspfilters_fastfir_second-p14 | 3.14 | 2.78 | 1.96 | 1 | 1.1295 | 1.41837 | 1.60204 |
  87. | 2019C_qspiflash_dualflexpress_divfive-p163 | 1.51 | 1.63 | 3.12 | 1 | 0.92638 | 0.522436 | 0.483974 |
  88. | cal3_cal3 | 1.75 | 3.07 | 0.21 | 1161 | 0.570033 | 14.619 | 8.33333 |
  89. | dspfilters_fastfir_second-p43 | 3.05 | 1.23 | 0.48 | 1 | 2.47967 | 2.5625 | 6.35417 |
  90. | zipversa_composecrc_prf-p11 | 3.05 | 1.1 | 0.38 | 1 | 2.77273 | 2.89474 | 8.02632 |
  91. | qspiflash_qflexpress_divfive-p113 | 3.03 | 1.1 | 0.38 | 1 | 2.75455 | 2.89474 | 7.97368 |
  92. | qspiflash_dualflexpress_divthree-p006 | 3.01 | 1.09 | 0.71 | 1 | 2.76147 | 1.53521 | 4.23944 |
  93. | qspiflash_dualflexpress_divthree-p161 | 3.01 | 1.11 | 0.37 | 1 | 2.71171 | 3 | 8.13514 |
  94. | 2019C_qspiflash_dualflexpress_divfive-p059 | 1.31 | 1.92 | 2.92 | 1 | 0.682292 | 0.657534 | 0.44863 |
  95. | 2019C_qspiflash_dualflexpress_divfive-p142 | 1.79 | 0.11 | 2.91 | 1 | 16.2727 | 0.0378007 | 0.61512 |
  96. | 2019A_picorv32_mutBY_nomem-p8 | 1.13 | 2.91 | 0.54 | 1 | 0.388316 | 5.38889 | 2.09259 |
  97. | 2019C_qspiflash_dualflexpress_divfive-p098 | 1.79 | 1.92 | 2.91 | 1 | 0.932292 | 0.659794 | 0.61512 |
  98. | zipversa_composecrc_prf-p03 | 2.86 | 0.46 | 0.93 | 1 | 6.21739 | 0.494624 | 3.07527 |
  99. | picorv32-check-p05 | 2.8 | 1.59 | 1.01 | 1 | 1.76101 | 1.57426 | 2.77228 |
  100. | qspiflash_dualflexpress_divfive-p133 | 2.69 | 1.09 | 0.7 | 1 | 2.46789 | 1.55714 | 3.84286 |
  101. | qspiflash_qflexpress_divfive-p064 | 2.62 | 2.02 | 1.34 | 1 | 1.29703 | 1.50746 | 1.95522 |
  102. | zipcpu-zipmmu-p26 | 2.61 | 1.34 | 0.75 | 1 | 1.94776 | 1.78667 | 3.48 |
  103. | qspiflash_qflexpress_divfive-p067 | 2.6 | 0.84 | 0.61 | 1 | 3.09524 | 1.37705 | 4.2623 |
  104. | dspfilters_fastfir_second-p11 | 2.59 | 1.32 | 1.22 | 1 | 1.96212 | 1.08197 | 2.12295 |
  105. | h_b05_h_b05 | 2.57 | 1.4 | 1.39 | 334 | 1.83571 | 1.00719 | 1.84892 |
  106. | brp2.3.prop1-back-serstep | 2.05 | 2.56 | 2.47 | 10022 | 0.800781 | 1.03644 | 0.82996 |
  107. | cal162 | 0.27 | 0.37 | 2.56 | 68 | 0.72973 | 0.144531 | 0.105469 |
  108. | picorv32_mutBY_nomem-p4 | 2.54 | 2.02 | 1.29 | 1 | 1.25743 | 1.56589 | 1.96899 |
  109. | 2019A_picorv32_mutBX_nomem-p1 | 0.38 | 2.52 | 0.9 | 1 | 0.150794 | 2.8 | 0.422222 |
  110. | qspiflash_dualflexpress_divfive-p079 | 2.52 | 0.95 | 0.37 | 1 | 2.65263 | 2.56757 | 6.81081 |
  111. | zipversa_composecrc_prf-p15 | 2.51 | 0.35 | 1.12 | 1 | 7.17143 | 0.3125 | 2.24107 |
  112. | picorv32_mutAX_nomem-p2 | 2.5 | 2.06 | 1.37 | 1 | 1.21359 | 1.50365 | 1.82482 |
  113. | gen35 | 0.52 | 0.67 | 2.49 | 1439 | 0.776119 | 0.269076 | 0.208835 |
  114. | unsafe_arbitrated_top_n3_w128_d128_e0 | 1.61 | 2.48 | 2.15 | 1 | 0.649194 | 1.15349 | 0.748837 |
  115. | 2019C_qspiflash_dualflexpress_divfive-p060 | 2.46 | 1.13 | 0.07 | 1 | 2.17699 | 16.1429 | 35.1429 |
  116. | 2019C_vgasim_imgfifo-p039 | 2.45 | 0.32 | 0.08 | 1 | 7.65625 | 4 | 30.625 |
  117. | 2019C_qspiflash_dualflexpress_divthree-p150 | 2.44 | 0.38 | 0.11 | 1 | 6.42105 | 3.45455 | 22.1818 |
  118. | 2019C_qspiflash_qflexpress_divfive-p080 | 2.43 | 1.13 | 0.07 | 1 | 2.15044 | 16.1429 | 34.7143 |
  119. | 2019C_qspiflash_dualflexpress_divthree-p086 | 2.42 | 0.34 | 0.07 | 1 | 7.11765 | 4.85714 | 34.5714 |
  120. | gen12 | 0.18 | 0.68 | 2.4 | 40 | 0.264706 | 0.283333 | 0.075 |
  121. | unsafe_arbitrated_top_n5_w64_d128_e0 | 1.29 | 2.14 | 2.4 | 1 | 0.602804 | 0.891667 | 0.5375 |
  122. | vcegar_QF_BV_usb_phy_1_vcegar_QF_BV_usb_phy_1 | 2.37 | 0.57 | 0.32 | 2590 | 4.15789 | 1.78125 | 7.40625 |
  123. | vis_arrays_am2901 | 0.09 | 0.07 | 2.28 | 94 | 1.28571 | 0.0307018 | 0.0394737 |
  124. | cal81 | 1.39 | 2.22 | 0.69 | 859 | 0.626126 | 3.21739 | 2.01449 |
  125. | usb_phy_usb_phy | 2.07 | 0.53 | 2.2 | 2590 | 3.90566 | 0.240909 | 0.940909 |
  126. | vis_arrays_two_p1_vis_arrays_two_p1 | 2.18 | 1.98 | 1.12 | 10582 | 1.10101 | 1.76786 | 1.94643 |
  127. | cal26_cal26 | 1.53 | 0.28 | 2.16 | 646 | 5.46429 | 0.12963 | 0.708333 |
  128. | unsafe_arbitrated_top_n4_w64_d128_e0 | 1.64 | 2.16 | 1.6 | 1 | 0.759259 | 1.35 | 1.025 |
  129. | qspiflash_dualflexpress_divthree-p010 | 2.15 | 1.19 | 0.44 | 1 | 1.80672 | 2.70455 | 4.88636 |
  130. | qspiflash_qflexpress_divfive-p139 | 1.1 | 2.08 | 1.81 | 1 | 0.528846 | 1.14917 | 0.607735 |
  131. | 2019C_dspfilters_fastfir_second-p17 | 1.9 | 2.08 | 1.97 | 1 | 0.913462 | 1.05584 | 0.964467 |
  132. | picorv32_mutAX_nomem-p0 | 2.06 | 1.86 | 0.64 | 1 | 1.10753 | 2.90625 | 3.21875 |
  133. | dspfilters_fastfir_second-p05 | 2.06 | 1.26 | 0.89 | 1 | 1.63492 | 1.41573 | 2.31461 |
  134. | vis_arrays_field5_vis_arrays_field5 | 2.05 | 0.63 | 0.76 | 881 | 3.25397 | 0.828947 | 2.69737 |
  135. | qspiflash_dualflexpress_divfive-p127 | 0.85 | 2.03 | 0.26 | 1 | 0.418719 | 7.80769 | 3.26923 |
  136. | 2018D_zipcpu-pfcache-p25 | 2.01 | 0.4 | 0.15 | 1 | 5.025 | 2.66667 | 13.4 |
  137. | picorv32_mutBY_nomem-p7 | 1.99 | 1.77 | 1.22 | 1 | 1.12429 | 1.45082 | 1.63115 |
  138. | vcegar_QF_BV_itc99_b13_p06_vcegar_QF_BV_itc99_b13_p06 | 1.38 | 0.08 | 1.98 | 50 | 17.25 | 0.040404 | 0.69697 |
  139. | rast-p03 | 1.97 | 1.72 | 1.48 | 4 | 1.14535 | 1.16216 | 1.33108 |
  140. | qspiflash_dualflexpress_divthree-p068 | 1.97 | 0.12 | 0.29 | 1 | 16.4167 | 0.413793 | 6.7931 |
  141. | rast-p11 | 1.96 | 1.71 | 1.49 | 16 | 1.1462 | 1.14765 | 1.31544 |
  142. | rast-p01 | 1.95 | 0.32 | 1.29 | 3 | 6.09375 | 0.248062 | 1.51163 |
  143. | picorv32_mutCX_nomem-p0 | 1.93 | 1.12 | 0.56 | 1 | 1.72321 | 2 | 3.44643 |
  144. | 2018D_zipcpu-zipmmu-p38 | 1.93 | 0.28 | 0.1 | 1 | 6.89286 | 2.8 | 19.3 |
  145. | 2019A_picorv32_mutCX_nomem-p7 | 1.92 | 0.6 | 0.46 | 1 | 3.2 | 1.30435 | 4.17391 |
  146. | picorv32_mutBX_nomem-p5 | 1.86 | 1.91 | 0.71 | 1 | 0.973822 | 2.69014 | 2.61972 |
  147. | 2019C_zipversa_composecrc_prf-p21 | 1.76 | 1.9 | 0.66 | 1 | 0.926316 | 2.87879 | 2.66667 |
  148. | 2019C_qspiflash_dualflexpress_divthree-p030 | 0.68 | 1.9 | 1.73 | 1 | 0.357895 | 1.09827 | 0.393064 |
  149. | dspfilters_fastfir_second-p04 | 1.89 | 0.31 | 0.49 | 1 | 6.09677 | 0.632653 | 3.85714 |
  150. | 2019C_qspiflash_qflexpress_divfive-p051 | 1.76 | 1.88 | 0.65 | 1 | 0.93617 | 2.89231 | 2.70769 |
  151. | cal40_cal40 | 1.87 | 1.08 | 0.21 | 640 | 1.73148 | 5.14286 | 8.90476 |
  152. | 2019A_picorv32_mutAX_nomem-p4 | 1.87 | 0.67 | 0.66 | 1 | 2.79104 | 1.01515 | 2.83333 |
  153. | gen33_gen33 | 0.14 | 1.86 | 0.09 | 37 | 0.0752688 | 20.6667 | 1.55556 |
  154. | picorv32_mutAY_nomem-p6 | 0.33 | 1.85 | 0.48 | 1 | 0.178378 | 3.85417 | 0.6875 |
  155. | gen31 | 1.85 | 1.05 | 1.02 | 3046 | 1.7619 | 1.02941 | 1.81373 |
  156. | 2019A_picorv32_mutCY_nomem-p4 | 1.85 | 0.45 | 0.46 | 1 | 4.11111 | 0.978261 | 4.02174 |
  157. | picorv32_mutCY_nomem-p0 | 1.74 | 1.85 | 0.49 | 1 | 0.940541 | 3.77551 | 3.55102 |
  158. | picorv32_mutBY_nomem-p3 | 0.94 | 1.83 | 0.44 | 1 | 0.513661 | 4.15909 | 2.13636 |
  159. | 2019A_picorv32_mutAX_nomem-p8 | 1.83 | 1.16 | 1.04 | 1 | 1.57759 | 1.11538 | 1.75962 |
  160. | circular_pointer_top_w128_d64_e0 | 1.82 | 1.32 | 0.84 | 1 | 1.37879 | 1.57143 | 2.16667 |
  161. | 2019C_qspiflash_qflexpress_divfive-p128 | 1.8 | 0.64 | 0.77 | 1 | 2.8125 | 0.831169 | 2.33766 |
  162. | 2019C_qspiflash_qflexpress_divfive-p047 | 1.8 | 0.62 | 0.26 | 1 | 2.90323 | 2.38462 | 6.92308 |
  163. | 2019C_dspfilters_fastfir_second-p40 | 1.1 | 1.78 | 0.64 | 1 | 0.617978 | 2.78125 | 1.71875 |
  164. | qspiflash_dualflexpress_divthree-p054 | 1.77 | 0.71 | 0.3 | 1 | 2.49296 | 2.36667 | 5.9 |
  165. | Heap_Heap | 1.76 | 0.13 | 0.32 | 1024 | 13.5385 | 0.40625 | 5.5 |
  166. | 2019C_qspiflash_qflexpress_divfive-p120 | 1.76 | 0.13 | 0.54 | 1 | 13.5385 | 0.240741 | 3.25926 |
  167. | 2019C_qspiflash_dualflexpress_divthree-p112 | 1.75 | 0.13 | 0.17 | 1 | 13.4615 | 0.764706 | 10.2941 |
  168. | 2019C_dspfilters_fastfir_second-p08 | 1.11 | 1.74 | 0.79 | 1 | 0.637931 | 2.20253 | 1.40506 |
  169. | anderson.3.prop1-back-serstep | 1.68 | 1.73 | 0.77 | 247 | 0.971098 | 2.24675 | 2.18182 |
  170. | 2019C_qspiflash_dualflexpress_divthree-p119 | 1.36 | 0.74 | 1.72 | 1 | 1.83784 | 0.430233 | 0.790698 |
  171. | 2019C_zipversa_composecrc_prf-p20 | 1 | 0.19 | 1.72 | 1 | 5.26316 | 0.110465 | 0.581395 |
  172. | 2019C_qspiflash_dualflexpress_divthree-p159 | 1.72 | 0.12 | 0.78 | 1 | 14.3333 | 0.153846 | 2.20513 |
  173. | qspiflash_qflexpress_divfive-p104 | 1.68 | 0.85 | 0.27 | 1 | 1.97647 | 3.14815 | 6.22222 |
  174. | toy_lock_4_toy_lock_4 | 1.67 | 1.56 | 0.39 | 2065 | 1.07051 | 4 | 4.28205 |
  175. | zipcpu-pfcache-p20 | 1.67 | 0.99 | 1.08 | 1 | 1.68687 | 0.916667 | 1.5463 |
  176. | cal180_cal180 | 1.67 | 0.91 | 0.36 | 2345 | 1.83516 | 2.52778 | 4.63889 |
  177. | unsafe_arbitrated_top_n5_w64_d64_e0 | 1.65 | 0.96 | 0.86 | 1 | 1.71875 | 1.11628 | 1.9186 |
  178. | circular_pointer_top_w16_d128_e0 | 1.63 | 1.14 | 0.7 | 1 | 1.42982 | 1.62857 | 2.32857 |
  179. | 2019C_qspiflash_dualflexpress_divthree-p081 | 0.33 | 0.61 | 1.63 | 1 | 0.540984 | 0.374233 | 0.202454 |
  180. | 2019C_qspiflash_qflexpress_divfive-p034 | 1.5 | 1.62 | 0.23 | 1 | 0.925926 | 7.04348 | 6.52174 |
  181. | gen32_gen32 | 0.08 | 1.62 | 1.42 | 41 | 0.0493827 | 1.14085 | 0.056338 |
  182. | zipcpu-busdelay-p43 | 1.6 | 0.95 | 0.98 | 1 | 1.68421 | 0.969388 | 1.63265 |
  183. | circular_pointer_top_w16_d32_e0 | 1.59 | 0.61 | 0.33 | 1 | 2.60656 | 1.84848 | 4.81818 |
  184. | cal41 | 1.23 | 1.58 | 0.43 | 279 | 0.778481 | 3.67442 | 2.86047 |
  185. | zipcpu-busdelay-p47 | 1.57 | 0.83 | 0.98 | 1 | 1.89157 | 0.846939 | 1.60204 |
  186. | arbitrated_top_n4_w16_d32_e0 | 1.55 | 0.76 | 0.21 | 1 | 2.03947 | 3.61905 | 7.38095 |
  187. | 2019A_picorv32_mutBX_nomem-p7 | 1.55 | 0.59 | 0.5 | 1 | 2.62712 | 1.18 | 3.1 |
  188. | qspiflash_dualflexpress_divfive-p161 | 0.17 | 1.54 | 0.14 | 1 | 0.11039 | 11 | 1.21429 |
  189. | 2019C_qspiflash_qflexpress_divfive-p056 | 0.46 | 1.54 | 0.74 | 1 | 0.298701 | 2.08108 | 0.621622 |
  190. | qspiflash_dualflexpress_divfive-p164 | 1.52 | 1.22 | 0.59 | 1 | 1.2459 | 2.0678 | 2.57627 |
  191. | qspiflash_dualflexpress_divfive-p120 | 1.52 | 1.23 | 0.71 | 1 | 1.23577 | 1.73239 | 2.14085 |
  192. | qspiflash_dualflexpress_divthree-p113 | 1.51 | 1.23 | 0.71 | 1 | 1.22764 | 1.73239 | 2.12676 |
  193. | 2019C_qspiflash_dualflexpress_divfive-p004 | 1.51 | 0.11 | 0.08 | 1 | 13.7273 | 1.375 | 18.875 |
  194. | 2019C_dspfilters_fastfir_second-p28 | 0.29 | 0.34 | 1.51 | 1 | 0.852941 | 0.225166 | 0.192053 |
  195. | 2019C_zipversa_composecrc_prf-p04 | 1.5 | 0.1 | 0.5 | 1 | 15 | 0.2 | 3 |
  196. | 2019C_qspiflash_qflexpress_divfive-p057 | 1.5 | 0.07 | 0.12 | 1 | 21.4286 | 0.583333 | 12.5 |
  197. | 2019C_qspiflash_dualflexpress_divthree-p099 | 1.49 | 0.14 | 0.08 | 1 | 10.6429 | 1.75 | 18.625 |
  198. | unsafe_arbitrated_top_n2_w32_d128_e0 | 0.38 | 1.48 | 1.07 | 1 | 0.256757 | 1.38318 | 0.35514 |
  199. | qspiflash_qflexpress_divfive-p100 | 1.47 | 0.22 | 0.08 | 1 | 6.68182 | 2.75 | 18.375 |
  200. | arbitrated_top_n3_w64_d64_e0 | 1.44 | 0.59 | 0.92 | 1 | 2.44068 | 0.641304 | 1.56522 |
  201. | elevator.4.prop1-func-interl | 1.04 | 1.44 | 0.26 | 1125 | 0.722222 | 5.53846 | 4 |
  202. | cal37 | 1.1 | 1.43 | 0.29 | 649 | 0.769231 | 4.93103 | 3.7931 |
  203. | 2018D_picorv32-check-p01 | 0.68 | 1.43 | 0.15 | 1 | 0.475524 | 9.53333 | 4.53333 |
  204. | 2019C_vgasim_imgfifo-p107 | 1.42 | 0.38 | 0.64 | 1 | 3.73684 | 0.59375 | 2.21875 |
  205. | 2019A_picorv32_mutAY_nomem-p8 | 1.42 | 0.37 | 0.45 | 1 | 3.83784 | 0.822222 | 3.15556 |
  206. | cal165_cal165 | 1.41 | 1.14 | 0.28 | 61 | 1.23684 | 4.07143 | 5.03571 |
  207. | qspiflash_qflexpress_divfive-p107 | 1.4 | 0.71 | 1.31 | 1 | 1.97183 | 0.541985 | 1.0687 |
  208. | arbitrated_top_n5_w128_d64_e0 | 1.15 | 1.19 | 1.4 | 1 | 0.966387 | 0.85 | 0.821429 |
  209. | 2019C_qspiflash_dualflexpress_divthree-p101 | 1.39 | 0.35 | 0.08 | 1 | 3.97143 | 4.375 | 17.375 |
  210. | arbitrated_top_n5_w128_d8_e0 | 1.39 | 0.25 | 0.31 | 1 | 5.56 | 0.806452 | 4.48387 |
  211. | 2018D_zipcpu-busdelay-p20 | 0.47 | 1.38 | 0.08 | 1 | 0.34058 | 17.25 | 5.875 |
  212. | 2018D_picorv32-check-p18 | 1.37 | 0.37 | 0.57 | 1 | 3.7027 | 0.649123 | 2.40351 |
  213. | 2019C_qspiflash_qflexpress_divfive-p032 | 0.3 | 0.64 | 1.37 | 1 | 0.46875 | 0.467153 | 0.218978 |
  214. | miim | 0.11 | 1.09 | 1.35 | 1386 | 0.100917 | 0.807407 | 0.0814815 |
  215. | cal182_cal182 | 0.82 | 1.34 | 0.65 | 641 | 0.61194 | 2.06154 | 1.26154 |
  216. | cal39_cal39 | 1.34 | 0.29 | 0.37 | 660 | 4.62069 | 0.783784 | 3.62162 |
  217. | zipcpu-zipmmu-p14 | 1.34 | 0.75 | 0.99 | 1 | 1.78667 | 0.757576 | 1.35354 |
  218. | dspfilters_fastfir_second-p21 | 1.34 | 1.23 | 0.29 | 1 | 1.08943 | 4.24138 | 4.62069 |
  219. | stack-p1 | 0.25 | 0.37 | 1.33 | 3 | 0.675676 | 0.278195 | 0.18797 |
  220. | picorv32_mutBY_nomem-p1 | 1.13 | 1.31 | 0.55 | 1 | 0.862595 | 2.38182 | 2.05455 |
  221. | 2018D_zipcpu-busdelay-p42 | 1.31 | 0.79 | 0.75 | 1 | 1.65823 | 1.05333 | 1.74667 |
  222. | 2019C_zipversa_composecrc_prf-p23 | 1.31 | 0.54 | 0.07 | 1 | 2.42593 | 7.71429 | 18.7143 |
  223. | cal161 | 0.28 | 1.3 | 0.39 | 64 | 0.215385 | 3.33333 | 0.717949 |
  224. | qspiflash_qflexpress_divfive-p048 | 1.28 | 1.11 | 0.4 | 1 | 1.15315 | 2.775 | 3.2 |
  225. | zipcpu-pfcache-p27 | 1.27 | 0.82 | 0.87 | 1 | 1.54878 | 0.942529 | 1.45977 |
  226. | zipversa_composecrc_prf-p22 | 1.25 | 1.1 | 0.26 | 1 | 1.13636 | 4.23077 | 4.80769 |
  227. | zipcpu-pfcache-p24 | 1.23 | 0.91 | 1.08 | 1 | 1.35165 | 0.842593 | 1.13889 |
  228. | zipcpu-busdelay-p36 | 1.22 | 0.76 | 0.86 | 1 | 1.60526 | 0.883721 | 1.4186 |
  229. | vgasim_imgfifo-p110 | 1.22 | 1.12 | 0.36 | 1 | 1.08929 | 3.11111 | 3.38889 |
  230. | qspiflash_qflexpress_divfive-p017 | 1.22 | 1.1 | 0.31 | 1 | 1.10909 | 3.54839 | 3.93548 |
  231. | safe_analog_estimation_convergence | 1.22 | 0.33 | 0.29 | 1 | 3.69697 | 1.13793 | 4.2069 |
  232. | unsafe_arbitrated_top_n5_w128_d16_e0 | 0.89 | 0.63 | 1.22 | 1 | 1.4127 | 0.516393 | 0.729508 |
  233. | 2019C_qspiflash_dualflexpress_divthree-p131 | 1.21 | 0.7 | 1.19 | 1 | 1.72857 | 0.588235 | 1.01681 |
  234. | zipcpu-zipmmu-p33 | 1.2 | 0.73 | 0.81 | 1 | 1.64384 | 0.901235 | 1.48148 |
  235. | zipcpu-pfcache-p01 | 1.2 | 0.89 | 0.87 | 1 | 1.34831 | 1.02299 | 1.37931 |
  236. | paper_v3 | 0.44 | 0.36 | 1.19 | 3039 | 1.22222 | 0.302521 | 0.369748 |
  237. | VexRiscv-regch0-15-p0 | 1.19 | 0.43 | 0.53 | 1 | 2.76744 | 0.811321 | 2.24528 |
  238. | unsafe_arbitrated_top_n2_w64_d128_e0 | 0.67 | 0.53 | 1.17 | 1 | 1.26415 | 0.452991 | 0.57265 |
  239. | 2019C_zipversa_composecrc_prf-p06 | 0.11 | 1.17 | 0.56 | 1 | 0.0940171 | 2.08929 | 0.196429 |
  240. | 2019C_qspiflash_dualflexpress_divfive-p139 | 0.72 | 1.17 | 0.45 | 1 | 0.615385 | 2.6 | 1.6 |
  241. | cal5_cal5 | 1.17 | 0.24 | 0.14 | 240 | 4.875 | 1.71429 | 8.35714 |
  242. | h_RCU | 0.2 | 0.95 | 1.16 | 5494 | 0.210526 | 0.818966 | 0.172414 |
  243. | 2019C_qspiflash_dualflexpress_divfive-p091 | 0.1 | 1.16 | 0.62 | 1 | 0.0862069 | 1.87097 | 0.16129 |
  244. | marlann_compute_cp_fail2-p0 | 0.09 | 1.15 | 0.08 | 1 | 0.0782609 | 14.375 | 1.125 |
  245. | shift_register_top_w16_d32_e0 | 1.15 | 0.47 | 0.8 | 1 | 2.44681 | 0.5875 | 1.4375 |
  246. | vgasim_imgfifo-p093 | 1.02 | 1.14 | 0.27 | 1 | 0.894737 | 4.22222 | 3.77778 |
  247. | 2019A_picorv32_mutCY_nomem-p5 | 1.14 | 1.03 | 0.65 | 1 | 1.1068 | 1.58462 | 1.75385 |
  248. | 2019A_picorv32_mutCX_nomem-p4 | 0.44 | 1.13 | 0.67 | 1 | 0.389381 | 1.68657 | 0.656716 |
  249. | qspiflash_dualflexpress_divthree-p034 | 1.13 | 1.1 | 0.46 | 1 | 1.02727 | 2.3913 | 2.45652 |
  250. | qspiflash_dualflexpress_divfive-p154 | 0.24 | 0.61 | 1.13 | 1 | 0.393443 | 0.539823 | 0.212389 |
  251. | qspiflash_qflexpress_divfive-p029 | 0.14 | 0.75 | 1.11 | 1 | 0.186667 | 0.675676 | 0.126126 |
  252. | 2019C_dspfilters_fastfir_second-p29 | 1.11 | 0.47 | 0.68 | 1 | 2.3617 | 0.691176 | 1.63235 |
  253. | qspiflash_qflexpress_divfive-p036 | 0.32 | 1.11 | 0.37 | 1 | 0.288288 | 3 | 0.864865 |
  254. | qspiflash_dualflexpress_divthree-p164 | 0.43 | 1.11 | 0.23 | 1 | 0.387387 | 4.82609 | 1.86957 |
  255. | arbitrated_top_n4_w64_d32_e0 | 1.11 | 0.67 | 0.99 | 1 | 1.65672 | 0.676768 | 1.12121 |
  256. | qspiflash_dualflexpress_divthree-p007 | 0.94 | 1.1 | 0.12 | 1 | 0.854545 | 9.16667 | 7.83333 |
  257. | qspiflash_dualflexpress_divthree-p136 | 0.36 | 1.1 | 0.23 | 1 | 0.327273 | 4.78261 | 1.56522 |
  258. | mul1 | 0.84 | 1.1 | 0.84 | 395 | 0.763636 | 1.30952 | 1 |
  259. | arbitrated_top_n2_w128_d64_e0 | 1.08 | 0.53 | 0.55 | 1 | 2.03774 | 0.963636 | 1.96364 |
  260. | unsafe_arbitrated_top_n3_w16_d64_e0 | 0.28 | 0.63 | 1.08 | 1 | 0.444444 | 0.583333 | 0.259259 |
  261. | 2019C_qspiflash_dualflexpress_divfive-p093 | 1.07 | 0.64 | 0.63 | 1 | 1.67188 | 1.01587 | 1.69841 |
  262. | 2018D_picorv32-check-p17 | 1.06 | 0.26 | 0.15 | 1 | 4.07692 | 1.73333 | 7.06667 |
  263. | arbitrated_top_n2_w128_d32_e0 | 1.06 | 0.37 | 0.61 | 1 | 2.86486 | 0.606557 | 1.7377 |
  264. | dspfilters_fastfir_second-p16 | 1.04 | 1.05 | 0.39 | 1 | 0.990476 | 2.69231 | 2.66667 |
  265. | 2018D_zipcpu-pfcache-p05 | 1.05 | 0.65 | 0.55 | 1 | 1.61538 | 1.18182 | 1.90909 |
  266. | arbitrated_top_n4_w128_d64_e0 | 0.97 | 1.02 | 1.05 | 1 | 0.95098 | 0.971429 | 0.92381 |
  267. | 2018D_VexRiscv-regch0-20-p1 | 1.04 | 0.71 | 0.48 | 1 | 1.46479 | 1.47917 | 2.16667 |
  268. | 2019C_qspiflash_dualflexpress_divfive-p012 | 1.04 | 0.56 | 0.49 | 1 | 1.85714 | 1.14286 | 2.12245 |
  269. | 2019C_qspiflash_qflexpress_divfive-p023 | 0.42 | 1.02 | 0.92 | 1 | 0.411765 | 1.1087 | 0.456522 |
  270. | vgasim_imgfifo-p088 | 0.78 | 1.01 | 0.29 | 1 | 0.772277 | 3.48276 | 2.68966 |
  271. | qspiflash_dualflexpress_divthree-p106 | 0.94 | 1.01 | 0.26 | 1 | 0.930693 | 3.88462 | 3.61538 |
  272.  
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement
Public Pastes
Advertisement
We use cookies for various purposes including analytics. By continuing to use Pastebin, you agree to our use of cookies as described in the Cookies Policy.  OK, I Understand
Not a member of Pastebin yet?
Sign Up, it unlocks many cool features!