API tools faq
paste
Advertisement
froleyks

temp.org

froleyks
Feb 24th, 2021
144
0
Never
Add comment
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 9.41 KB | None | 0 0
raw download clone embed print report
  1. dropping 40 unsolved
  2. dropping 436 trivial
  3. n = 67
  4. | | Mini | Cadi | Cnst | nConstr | S_MiniCadi | S_CadiCnst | S_MiniCnst |
  5. |--------------------------------------------+---------+----------+----------+-----------+---------------+--------------+--------------|
  6. | Mean PAR2 | 811.57 | 429.642 | 82.0307 | nan | 1.88895 | 5.23757 | 9.89349 |
  7. | rast-p14 | 7200 | 7200 | 147.15 | 431539 | 1 | 48.9297 | 48.9297 |
  8. | mul2 | 7200 | 29.15 | 27.14 | 779 | 246.998 | 1.07406 | 265.291 |
  9. | beem_adding.5.prop1-func-interl | 7200 | 1.18 | 0.77 | 6207 | 6101.69 | 1.53247 | 9350.65 |
  10. | beem_cambridge.7.prop2-back-serstep | 7200 | 7200 | 40.05 | 35069 | 1 | 179.775 | 179.775 |
  11. | brp2.2.prop1-func-interl | 7200 | 2236.82 | 96.94 | 548378 | 3.21886 | 23.0743 | 74.2727 |
  12. | pgm_protocol.7.prop1-back-serstep | 7200 | 298.61 | 223.45 | 127803 | 24.1117 | 1.33636 | 32.222 |
  13. | mul3 | 7200 | 352.46 | 601.6 | 1547 | 20.4278 | 0.585871 | 11.9681 |
  14. | beem_exit.5.prop1-func-interl | 18.15 | 7200 | 38.56 | 172163 | 0.00252083 | 186.722 | 0.470695 |
  15. | mul7 | 783.28 | 575.14 | 694.6 | 1567 | 1.36189 | 0.828016 | 1.12767 |
  16. | beem_collision.6.prop1-func-interl | 450.56 | 233.7 | 351.4 | 275497 | 1.92794 | 0.665054 | 1.28219 |
  17. | beem_synapse.7.prop1-func-interl | 251.31 | 370.88 | 397.77 | 876185 | 0.677605 | 0.932398 | 0.631797 |
  18. | cal112 | 330.89 | 182.34 | 174.28 | 29394 | 1.81469 | 1.04625 | 1.89861 |
  19. | at.6.prop1-back-serstep | 61.57 | 188.22 | 248.59 | 787869 | 0.327117 | 0.75715 | 0.247677 |
  20. | cal110_cal110 | 225.24 | 133.09 | 162.11 | 72080 | 1.69239 | 0.820986 | 1.38943 |
  21. | cal102 | 195.47 | 132.68 | 128.43 | 30761 | 1.47324 | 1.03309 | 1.522 |
  22. | beem_telephony.6.prop1-func-interl | 3.45 | 137.01 | 166.69 | 481252 | 0.0251806 | 0.821945 | 0.0206971 |
  23. | cal109_cal109 | 158.66 | 131.73 | 124.15 | 46565 | 1.20443 | 1.06106 | 1.27797 |
  24. | cal94_cal94 | 137.47 | 134.07 | 118.29 | 54666 | 1.02536 | 1.1334 | 1.16214 |
  25. | vcegar_QF_BV_ar | 96.76 | 106.7 | 134.33 | 40015 | 0.906842 | 0.794313 | 0.720316 |
  26. | cal93_cal93 | 121.2 | 100.77 | 115.88 | 49509 | 1.20274 | 0.869606 | 1.04591 |
  27. | cal106 | 120.31 | 90.26 | 83.96 | 30793 | 1.33293 | 1.07504 | 1.43294 |
  28. | cal97 | 85.3 | 107.63 | 77.28 | 25164 | 0.79253 | 1.39273 | 1.10378 |
  29. | cal107 | 96.42 | 104.21 | 82.67 | 28547 | 0.925247 | 1.26055 | 1.16632 |
  30. | beem_leader_election.3.prop1-back-serstep | 52.51 | 81.89 | 96.66 | 59007 | 0.641226 | 0.847196 | 0.543244 |
  31. | beem_frogs.2.prop1-back-serstep | 6.68 | 91.06 | 4.53 | 3479 | 0.0733582 | 20.1015 | 1.47461 |
  32. | cal123 | 37.11 | 88.32 | 45.69 | 30311 | 0.420177 | 1.93303 | 0.812213 |
  33. | cal132_cal132 | 29.5 | 73.14 | 50.71 | 26277 | 0.403336 | 1.44232 | 0.581739 |
  34. | cal100_cal100 | 41.82 | 69.04 | 52.13 | 33115 | 0.605736 | 1.32438 | 0.802225 |
  35. | cal99 | 27.35 | 59.96 | 67.82 | 45272 | 0.456137 | 0.884105 | 0.403273 |
  36. | cal146_cal146 | 43.55 | 62.64 | 67.03 | 43001 | 0.695243 | 0.934507 | 0.649709 |
  37. | rast-p00 | 46.89 | 60.18 | 66.77 | 246392 | 0.779163 | 0.901303 | 0.702261 |
  38. | cal134_cal134 | 27.72 | 64.7 | 40.9 | 21531 | 0.428439 | 1.58191 | 0.677751 |
  39. | cal143 | 24.63 | 63.66 | 33.73 | 21544 | 0.386899 | 1.88734 | 0.73021 |
  40. | cal21 | 0.04 | 62.25 | 2.31 | 16875 | 0.00064257 | 26.9481 | 0.017316 |
  41. | cal136_cal136 | 25.63 | 61.46 | 48.45 | 24366 | 0.417019 | 1.26852 | 0.528999 |
  42. | cal131_cal131 | 29.4 | 48.28 | 59.99 | 36445 | 0.608948 | 0.804801 | 0.490082 |
  43. | cal119 | 23.25 | 40.47 | 58.31 | 35162 | 0.5745 | 0.694049 | 0.398731 |
  44. | cal144_cal144 | 30.25 | 57.34 | 50.71 | 29188 | 0.527555 | 1.13074 | 0.596529 |
  45. | cal129 | 31.26 | 54.05 | 31.81 | 19604 | 0.578353 | 1.69915 | 0.98271 |
  46. | cal128_cal128 | 31.51 | 46.67 | 39.03 | 23834 | 0.675166 | 1.19575 | 0.807328 |
  47. | cal122 | 43.11 | 40.74 | 30.92 | 17256 | 1.05817 | 1.31759 | 1.39424 |
  48. | cal125 | 20.93 | 41.02 | 30.05 | 16918 | 0.510239 | 1.36506 | 0.696506 |
  49. | cal118 | 22.98 | 32.34 | 40.53 | 24899 | 0.710575 | 0.797927 | 0.566987 |
  50. | cal86 | 19.46 | 39.02 | 27.2 | 14790 | 0.498719 | 1.43456 | 0.715441 |
  51. | beem_rether.4.prop1-back-serstep | 30.19 | 4.21 | 37.49 | 65840 | 7.17102 | 0.112297 | 0.805281 |
  52. | cal140 | 19.16 | 36.5 | 36.1 | 21616 | 0.524932 | 1.01108 | 0.530748 |
  53. | beem_lamport_nonatomic.5.prop1-func-interl | 18.77 | 34.45 | 34.41 | 91297 | 0.544848 | 1.00116 | 0.545481 |
  54. | cal117 | 25.24 | 33.33 | 33.84 | 17749 | 0.757276 | 0.984929 | 0.745863 |
  55. | cal142 | 16.62 | 27.63 | 31.87 | 17337 | 0.60152 | 0.86696 | 0.521494 |
  56. | cal149 | 20.82 | 31.57 | 26.2 | 13203 | 0.659487 | 1.20496 | 0.794656 |
  57. | cal87 | 20.27 | 28.18 | 21.96 | 11979 | 0.719304 | 1.28324 | 0.923042 |
  58. | cal89_cal89 | 16.99 | 26.13 | 20.98 | 12364 | 0.65021 | 1.24547 | 0.809819 |
  59. | cal90 | 16.6 | 25.99 | 23.33 | 14661 | 0.638707 | 1.11402 | 0.71153 |
  60. | cal84 | 17.11 | 24.29 | 20.62 | 14368 | 0.704405 | 1.17798 | 0.829777 |
  61. | beem_brp.2.prop1-func-interl | 5.78 | 1.38 | 1.33 | 11346 | 4.18841 | 1.03759 | 4.34586 |
  62. | cal176 | 3.89 | 5.54 | 3.42 | 4192 | 0.702166 | 1.61988 | 1.13743 |
  63. | vis_arrays_bufferAlloc | 0.06 | 3.41 | 5.52 | 56997 | 0.0175953 | 0.617754 | 0.0108696 |
  64. | cal34 | 0.65 | 2.16 | 2.95 | 9590 | 0.300926 | 0.732203 | 0.220339 |
  65. | gen44 | 2.19 | 2.65 | 2.77 | 9216 | 0.826415 | 0.956679 | 0.790614 |
  66. | gen43 | 2.01 | 2.43 | 2.55 | 9473 | 0.82716 | 0.952941 | 0.788235 |
  67. | brp2.3.prop1-back-serstep | 1.98 | 2.5 | 2.41 | 10022 | 0.792 | 1.03734 | 0.821577 |
  68. | vis_arrays_two_p1_vis_arrays_two_p1 | 0.82 | 1.89 | 0.98 | 10582 | 0.433862 | 1.92857 | 0.836735 |
  69. | cal27_cal27 | 0.49 | 1.55 | 1.83 | 6048 | 0.316129 | 0.846995 | 0.26776 |
  70. | toy_lock_4_toy_lock_4 | 0.26 | 1.41 | 0.27 | 2065 | 0.184397 | 5.22222 | 0.962963 |
  71. | h_b05_h_b05 | 1.13 | 1.32 | 1.29 | 334 | 0.856061 | 1.02326 | 0.875969 |
  72. | buggy_ridecore | 1.28 | 1.31 | 1.29 | 1 | 0.977099 | 1.0155 | 0.992248 |
  73. | ridecore | 1.28 | 1.3 | 1.28 | 1 | 0.984615 | 1.01562 | 1 |
  74.  
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!