Advertisement
t_a_w

Probabilities in non-color-locked part of the booster, K=10

Apr 19th, 2019
204
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
Ruby 13.64 KB | None | 0 0
  1. LEA Z3::Model<n=74, nb=15, nc=0, ng=15, nr=15, nu=15, nw=14, pb=38/185, pc=0, pg=38/185, pr=38/185, pu=38/185, pw=33/185>
  2. LEB Z3::Model<n=75, nb=15, nc=0, ng=15, nr=15, nu=15, nw=15, pb=1/5, pc=0, pg=1/5, pr=1/5, pu=1/5, pw=1/5>
  3. 2ED Z3::Model<n=75, nb=15, nc=0, ng=15, nr=15, nu=15, nw=15, pb=1/5, pc=0, pg=1/5, pr=1/5, pu=1/5, pw=1/5>
  4. ARN Z3::Model<n=41, nb=9, nc=1, ng=7, nr=8, nu=7, nw=9, pb=49/205, pc=2/41, pg=29/205, pr=39/205, pu=29/205, pw=49/205>
  5. ATQ Z3::Model<n=30, nb=3, nc=15, ng=3, nr=3, nu=3, nw=3, pb=0, pc=1, pg=0, pr=0, pu=0, pw=0>
  6. 3ED Z3::Model<n=75, nb=15, nc=0, ng=15, nr=15, nu=15, nw=15, pb=1/5, pc=0, pg=1/5, pr=1/5, pu=1/5, pw=1/5>
  7. LEG Z3::Model<n=75, nb=15, nc=1, ng=14, nr=15, nu=15, nw=15, pb=1/5, pc=2/75, pg=13/75, pr=1/5, pu=1/5, pw=1/5>
  8. DRK Z3::Model<n=40, nb=7, nc=4, ng=7, nr=7, nu=7, nw=8, pb=3/20, pc=1/5, pg=3/20, pr=3/20, pu=3/20, pw=1/5>
  9. FEM Z3::Model<n=121, nb=24, nc=1, ng=24, nr=24, nu=24, nw=24, pb=119/605, pc=2/121, pg=119/605, pr=119/605, pu=119/605, pw=119/605>
  10. 4ED Z3::Model<n=121, nb=23, nc=6, ng=23, nr=23, nu=23, nw=23, pb=109/605, pc=12/121, pg=109/605, pr=109/605, pu=109/605, pw=109/605>
  11. ICE Z3::Model<n=121, nb=22, nc=10, ng=22, nr=22, nu=23, nw=22, pb=9/55, pc=20/121, pg=9/55, pr=9/55, pu=109/605, pw=9/55>
  12. CHR Z3::Model<n=37, nb=6, nc=7, ng=6, nr=6, nu=6, nw=6, pb=23/185, pc=14/37, pg=23/185, pr=23/185, pu=23/185, pw=23/185>
  13. HML Z3::Model<n=71, nb=13, nc=6, ng=13, nr=13, nu=13, nw=13, pb=59/355, pc=12/71, pg=59/355, pr=59/355, pu=59/355, pw=59/355>
  14. ALL Z3::Model<n=110, nb=18, nc=20, ng=18, nr=18, nu=18, nw=18, pb=7/55, pc=4/11, pg=7/55, pr=7/55, pu=7/55, pw=7/55>
  15. MIR Z3::Model<n=110, nb=21, nc=6, ng=20, nr=21, nu=21, nw=21, pb=2/11, pc=6/55, pg=9/55, pr=2/11, pu=2/11, pw=2/11>
  16. VIS Z3::Model<n=62, nb=12, nc=2, ng=12, nr=12, nu=12, nw=12, pb=29/155, pc=2/31, pg=29/155, pr=29/155, pu=29/155, pw=29/155>
  17. 5ED Z3::Model<n=165, nb=31, nc=10, ng=31, nr=31, nu=31, nw=31, pb=29/165, pc=4/33, pg=29/165, pr=29/165, pu=29/165, pw=29/165>
  18. POR Z3::Model<n=90, nb=18, nc=0, ng=19, nr=18, nu=17, nw=18, pb=1/5, pc=0, pg=2/9, pr=1/5, pu=8/45, pw=1/5>
  19. WTH Z3::Model<n=62, nb=12, nc=2, ng=12, nr=12, nu=12, nw=12, pb=29/155, pc=2/31, pg=29/155, pr=29/155, pu=29/155, pw=29/155>
  20. TMP Z3::Model<n=110, nb=21, nc=6, ng=20, nr=21, nu=21, nw=21, pb=2/11, pc=6/55, pg=9/55, pr=2/11, pu=2/11, pw=2/11>
  21. STH Z3::Model<n=55, nb=11, nc=0, ng=11, nr=11, nu=11, nw=11, pb=1/5, pc=0, pg=1/5, pr=1/5, pu=1/5, pw=1/5>
  22. EXO Z3::Model<n=55, nb=11, nc=0, ng=11, nr=11, nu=11, nw=11, pb=1/5, pc=0, pg=1/5, pr=1/5, pu=1/5, pw=1/5>
  23. P02 Z3::Model<n=70, nb=14, nc=0, ng=14, nr=14, nu=14, nw=14, pb=1/5, pc=0, pg=1/5, pr=1/5, pu=1/5, pw=1/5>
  24. UGL Z3::Model<n=33, nb=5, nc=4, ng=7, nr=6, nu=6, nw=5, pb=17/165, pc=8/33, pg=37/165, pr=9/55, pu=9/55, pw=17/165>
  25. USG Z3::Model<n=110, nb=22, nc=0, ng=22, nr=22, nu=22, nw=22, pb=1/5, pc=0, pg=1/5, pr=1/5, pu=1/5, pw=1/5>
  26. ULG Z3::Model<n=55, nb=11, nc=0, ng=11, nr=11, nu=11, nw=11, pb=1/5, pc=0, pg=1/5, pr=1/5, pu=1/5, pw=1/5>
  27. 6ED Z3::Model<n=110, nb=22, nc=0, ng=22, nr=22, nu=22, nw=22, pb=1/5, pc=0, pg=1/5, pr=1/5, pu=1/5, pw=1/5>
  28. PTK Z3::Model<n=55, nb=11, nc=0, ng=11, nr=11, nu=11, nw=11, pb=1/5, pc=0, pg=1/5, pr=1/5, pu=1/5, pw=1/5>
  29. UDS Z3::Model<n=55, nb=11, nc=0, ng=11, nr=11, nu=11, nw=11, pb=1/5, pc=0, pg=1/5, pr=1/5, pu=1/5, pw=1/5>
  30. S99 Z3::Model<n=63, nb=12, nc=0, ng=12, nr=13, nu=13, nw=13, pb=19/105, pc=0, pg=19/105, pr=67/315, pu=67/315, pw=67/315>
  31. MMQ Z3::Model<n=110, nb=22, nc=0, ng=22, nr=22, nu=22, nw=22, pb=1/5, pc=0, pg=1/5, pr=1/5, pu=1/5, pw=1/5>
  32. NEM Z3::Model<n=55, nb=11, nc=0, ng=11, nr=11, nu=11, nw=11, pb=1/5, pc=0, pg=1/5, pr=1/5, pu=1/5, pw=1/5>
  33. PCY Z3::Model<n=55, nb=11, nc=0, ng=11, nr=11, nu=11, nw=11, pb=1/5, pc=0, pg=1/5, pr=1/5, pu=1/5, pw=1/5>
  34. INV Z3::Model<n=110, nb=15, nc=35, ng=15, nr=15, nu=15, nw=15, pb=4/55, pc=7/11, pg=4/55, pr=4/55, pu=4/55, pw=4/55>
  35. PLS Z3::Model<n=55, nb=7, nc=16, ng=8, nr=7, nu=9, nw=8, pb=3/55, pc=32/55, pg=1/11, pr=3/55, pu=7/55, pw=1/11>
  36. 7ED Z3::Model<n=110, nb=22, nc=0, ng=22, nr=22, nu=22, nw=22, pb=1/5, pc=0, pg=1/5, pr=1/5, pu=1/5, pw=1/5>
  37. APC MATH FAIL
  38. ODY Z3::Model<n=110, nb=22, nc=0, ng=22, nr=22, nu=22, nw=22, pb=1/5, pc=0, pg=1/5, pr=1/5, pu=1/5, pw=1/5>
  39. TOR Z3::Model<n=55, nb=17, nc=0, ng=8, nr=11, nu=11, nw=8, pb=23/55, pc=0, pg=1/11, pr=1/5, pu=1/5, pw=1/11>
  40. JUD MATH FAIL
  41. ONS Z3::Model<n=110, nb=22, nc=0, ng=22, nr=22, nu=22, nw=22, pb=1/5, pc=0, pg=1/5, pr=1/5, pu=1/5, pw=1/5>
  42. LGN Z3::Model<n=55, nb=11, nc=0, ng=11, nr=11, nu=11, nw=11, pb=1/5, pc=0, pg=1/5, pr=1/5, pu=1/5, pw=1/5>
  43. SCG Z3::Model<n=55, nb=11, nc=0, ng=11, nr=11, nu=11, nw=11, pb=1/5, pc=0, pg=1/5, pr=1/5, pu=1/5, pw=1/5>
  44. 8ED Z3::Model<n=113, nb=22, nc=0, ng=22, nr=22, nu=24, nw=23, pb=107/565, pc=0, pg=107/565, pr=107/565, pu=127/565, pw=117/565>
  45. MRD Z3::Model<n=110, nb=17, nc=25, ng=17, nr=17, nu=17, nw=17, pb=6/55, pc=5/11, pg=6/55, pr=6/55, pu=6/55, pw=6/55>
  46. DST Z3::Model<n=55, nb=7, nc=20, ng=7, nr=7, nu=7, nw=7, pb=3/55, pc=8/11, pg=3/55, pr=3/55, pu=3/55, pw=3/55>
  47. 5DN Z3::Model<n=55, nb=8, nc=15, ng=8, nr=8, nu=8, nw=8, pb=1/11, pc=6/11, pg=1/11, pr=1/11, pu=1/11, pw=1/11>
  48. CHK Z3::Model<n=110, nb=22, nc=0, ng=22, nr=22, nu=22, nw=22, pb=1/5, pc=0, pg=1/5, pr=1/5, pu=1/5, pw=1/5>
  49. UNH Z3::Model<n=55, nb=11, nc=0, ng=11, nr=12, nu=11, nw=10, pb=1/5, pc=0, pg=1/5, pr=13/55, pu=1/5, pw=9/55>
  50. BOK Z3::Model<n=55, nb=11, nc=0, ng=11, nr=11, nu=11, nw=11, pb=1/5, pc=0, pg=1/5, pr=1/5, pu=1/5, pw=1/5>
  51. SOK Z3::Model<n=55, nb=11, nc=0, ng=11, nr=11, nu=11, nw=11, pb=1/5, pc=0, pg=1/5, pr=1/5, pu=1/5, pw=1/5>
  52. 9ED Z3::Model<n=116, nb=22, nc=0, ng=23, nr=23, nu=25, nw=23, pb=26/145, pc=0, pg=57/290, pr=57/290, pu=67/290, pw=57/290>
  53. RAV Z3::Model<n=110, nb=13, nc=36, ng=12, nr=19, nu=18, nw=12, pb=2/55, pc=36/55, pg=1/55, pr=8/55, pu=7/55, pw=1/55>
  54. GPT MATH FAIL
  55. DIS MATH FAIL
  56. CSP Z3::Model<n=55, nb=11, nc=0, ng=11, nr=11, nu=11, nw=11, pb=1/5, pc=0, pg=1/5, pr=1/5, pu=1/5, pw=1/5>
  57. TSP Z3::Model<n=121, nb=22, nc=12, ng=21, nr=22, nu=22, nw=22, pb=9/55, pc=24/121, pg=89/605, pr=9/55, pu=9/55, pw=9/55>
  58. PLC Z3::Model<n=61, nb=12, nc=0, ng=12, nr=13, nu=12, nw=12, pb=59/305, pc=0, pg=59/305, pr=69/305, pu=59/305, pw=59/305>
  59. FUT Z3::Model<n=60, nb=12, nc=2, ng=12, nr=11, nu=11, nw=12, pb=1/5, pc=1/15, pg=1/5, pr=1/6, pu=1/6, pw=1/5>
  60. 10E Z3::Model<n=121, nb=24, nc=1, ng=24, nr=24, nu=24, nw=24, pb=119/605, pc=2/121, pg=119/605, pr=119/605, pu=119/605, pw=119/605>
  61. ME1 Z3::Model<n=60, nb=11, nc=6, ng=10, nr=11, nu=11, nw=11, pb=1/6, pc=1/5, pg=2/15, pr=1/6, pu=1/6, pw=1/6>
  62. LRW Z3::Model<n=121, nb=23, nc=6, ng=23, nr=23, nu=23, nw=23, pb=109/605, pc=12/121, pg=109/605, pr=109/605, pu=109/605, pw=109/605>
  63. MOR Z3::Model<n=60, nb=11, nc=1, ng=12, nr=12, nu=12, nw=12, pb=1/6, pc=1/30, pg=1/5, pr=1/5, pu=1/5, pw=1/5>
  64. SHM MATH FAIL
  65. EVE MATH FAIL
  66. ME2 Z3::Model<n=80, nb=13, nc=9, ng=14, nr=14, nu=15, nw=15, pb=1/8, pc=9/40, pg=3/20, pr=3/20, pu=7/40, pw=7/40>
  67. ALA Z3::Model<n=101, nb=12, nc=42, ng=11, nr=12, nu=12, nw=12, pb=19/505, pc=84/101, pg=9/505, pr=19/505, pu=19/505, pw=19/505>
  68. CON Z3::Model<n=60, nb=8, nc=19, ng=9, nr=7, nu=9, nw=8, pb=1/15, pc=19/30, pg=1/10, pr=1/30, pu=1/10, pw=1/15>
  69. ARB MATH FAIL
  70. M10 Z3::Model<n=101, nb=20, nc=1, ng=20, nr=20, nu=20, nw=20, pb=99/505, pc=2/101, pg=99/505, pr=99/505, pu=99/505, pw=99/505>
  71. ME3 Z3::Model<n=75, nb=12, nc=16, ng=10, nr=13, nu=12, nw=12, pb=3/25, pc=32/75, pg=1/15, pr=11/75, pu=3/25, pw=3/25>
  72. ZEN Z3::Model<n=101, nb=19, nc=6, ng=19, nr=19, nu=19, nw=19, pb=89/505, pc=12/101, pg=89/505, pr=89/505, pu=89/505, pw=89/505>
  73. WWK Z3::Model<n=60, nb=11, nc=5, ng=11, nr=11, nu=11, nw=11, pb=1/6, pc=1/6, pg=1/6, pr=1/6, pu=1/6, pw=1/6>
  74. ROE Z3::Model<n=100, nb=19, nc=5, ng=19, nr=19, nu=19, nw=19, pb=9/50, pc=1/10, pg=9/50, pr=9/50, pu=9/50, pw=9/50>
  75. M11 Z3::Model<n=101, nb=20, nc=1, ng=20, nr=20, nu=20, nw=20, pb=99/505, pc=2/101, pg=99/505, pr=99/505, pu=99/505, pw=99/505>
  76. SOM Z3::Model<n=101, nb=17, nc=16, ng=17, nr=17, nu=17, nw=17, pb=69/505, pc=32/101, pg=69/505, pr=69/505, pu=69/505, pw=69/505>
  77. ME4 Z3::Model<n=80, nb=12, nc=21, ng=12, nr=12, nu=11, nw=12, pb=1/10, pc=21/40, pg=1/10, pr=1/10, pu=3/40, pw=1/10>
  78. MBS Z3::Model<n=60, nb=10, nc=10, ng=10, nr=10, nu=10, nw=10, pb=2/15, pc=1/3, pg=2/15, pr=2/15, pu=2/15, pw=2/15>
  79. NPH Z3::Model<n=60, nb=11, nc=5, ng=11, nr=11, nu=11, nw=11, pb=1/6, pc=1/6, pg=1/6, pr=1/6, pu=1/6, pw=1/6>
  80. M12 Z3::Model<n=101, nb=20, nc=1, ng=20, nr=20, nu=20, nw=20, pb=99/505, pc=2/101, pg=99/505, pr=99/505, pu=99/505, pw=99/505>
  81. ISD Z3::Model<n=107, nb=19, nc=13, ng=18, nr=19, nu=19, nw=19, pb=83/535, pc=26/107, pg=73/535, pr=83/535, pu=83/535, pw=83/535>
  82. DKA Z3::Model<n=64, nb=11, nc=10, ng=11, nr=11, nu=11, nw=10, pb=23/160, pc=5/16, pg=23/160, pr=23/160, pu=23/160, pw=9/80>
  83. AVR Z3::Model<n=101, nb=19, nc=6, ng=19, nr=19, nu=19, nw=19, pb=89/505, pc=12/101, pg=89/505, pr=89/505, pu=89/505, pw=89/505>
  84. M13 Z3::Model<n=101, nb=20, nc=1, ng=20, nr=20, nu=20, nw=20, pb=99/505, pc=2/101, pg=99/505, pr=99/505, pu=99/505, pw=99/505>
  85. RTR Z3::Model<n=101, nb=14, nc=31, ng=14, nr=14, nu=14, nw=14, pb=39/505, pc=62/101, pg=39/505, pr=39/505, pu=39/505, pw=39/505>
  86. GTC Z3::Model<n=101, nb=13, nc=36, ng=13, nr=13, nu=13, nw=13, pb=29/505, pc=72/101, pg=29/505, pr=29/505, pu=29/505, pw=29/505>
  87. DGM Z3::Model<n=70, nb=8, nc=30, ng=8, nr=8, nu=8, nw=8, pb=1/35, pc=6/7, pg=1/35, pr=1/35, pu=1/35, pw=1/35>
  88. MMA Z3::Model<n=101, nb=18, nc=9, ng=18, nr=19, nu=19, nw=18, pb=79/505, pc=18/101, pg=79/505, pr=89/505, pu=89/505, pw=79/505>
  89. M14 Z3::Model<n=101, nb=20, nc=1, ng=20, nr=20, nu=20, nw=20, pb=99/505, pc=2/101, pg=99/505, pr=99/505, pu=99/505, pw=99/505>
  90. THS Z3::Model<n=101, nb=17, nc=16, ng=17, nr=17, nu=17, nw=17, pb=69/505, pc=32/101, pg=69/505, pr=69/505, pu=69/505, pw=69/505>
  91. BNG Z3::Model<n=60, nb=12, nc=0, ng=12, nr=12, nu=12, nw=12, pb=1/5, pc=0, pg=1/5, pr=1/5, pu=1/5, pw=1/5>
  92. JOU Z3::Model<n=60, nb=12, nc=0, ng=12, nr=12, nu=12, nw=12, pb=1/5, pc=0, pg=1/5, pr=1/5, pu=1/5, pw=1/5>
  93. CNS Z3::Model<n=89, nb=16, nc=9, ng=16, nr=16, nu=16, nw=16, pb=71/445, pc=18/89, pg=71/445, pr=71/445, pu=71/445, pw=71/445>
  94. VMA Z3::Model<n=101, nb=20, nc=2, ng=20, nr=19, nu=20, nw=20, pb=99/505, pc=4/101, pg=99/505, pr=89/505, pu=99/505, pw=99/505>
  95. M15 Z3::Model<n=107, nb=20, nc=6, ng=20, nr=20, nu=20, nw=21, pb=93/535, pc=12/107, pg=93/535, pr=93/535, pu=93/535, pw=103/535>
  96. KTK Z3::Model<n=101, nb=14, nc=32, ng=14, nr=13, nu=14, nw=14, pb=39/505, pc=64/101, pg=39/505, pr=29/505, pu=39/505, pw=39/505>
  97. FRF Z3::Model<n=70, nb=11, nc=15, ng=11, nr=11, nu=11, nw=11, pb=4/35, pc=3/7, pg=4/35, pr=4/35, pu=4/35, pw=4/35>
  98. DTK Z3::Model<n=101, nb=19, nc=6, ng=19, nr=19, nu=19, nw=19, pb=89/505, pc=12/101, pg=89/505, pr=89/505, pu=89/505, pw=89/505>
  99. TPR Z3::Model<n=101, nb=19, nc=7, ng=18, nr=19, nu=19, nw=19, pb=89/505, pc=14/101, pg=79/505, pr=89/505, pu=89/505, pw=89/505>
  100. MM2 Z3::Model<n=101, nb=17, nc=18, ng=17, nr=15, nu=17, nw=17, pb=69/505, pc=36/101, pg=69/505, pr=49/505, pu=69/505, pw=69/505>
  101. ORI Z3::Model<n=101, nb=19, nc=6, ng=19, nr=19, nu=19, nw=19, pb=89/505, pc=12/101, pg=89/505, pr=89/505, pu=89/505, pw=89/505>
  102. BFZ Z3::Model<n=101, nb=19, nc=6, ng=19, nr=19, nu=19, nw=19, pb=89/505, pc=12/101, pg=89/505, pr=89/505, pu=89/505, pw=89/505>
  103. OGW Z3::Model<n=68, nb=12, nc=8, ng=12, nr=12, nu=12, nw=12, pb=13/85, pc=4/17, pg=13/85, pr=13/85, pu=13/85, pw=13/85>
  104. SOI Z3::Model<n=105, nb=20, nc=5, ng=20, nr=20, nu=20, nw=20, pb=19/105, pc=2/21, pg=19/105, pr=19/105, pu=19/105, pw=19/105>
  105. EMA Z3::Model<n=101, nb=17, nc=14, ng=18, nr=17, nu=18, nw=17, pb=69/505, pc=28/101, pg=79/505, pr=69/505, pu=79/505, pw=69/505>
  106. EMN Z3::Model<n=74, nb=14, nc=4, ng=14, nr=14, nu=14, nw=14, pb=33/185, pc=4/37, pg=33/185, pr=33/185, pu=33/185, pw=33/185>
  107. CN2 Z3::Model<n=90, nb=17, nc=5, ng=17, nr=17, nu=17, nw=17, pb=8/45, pc=1/9, pg=8/45, pr=8/45, pu=8/45, pw=8/45>
  108. KLD Z3::Model<n=101, nb=18, nc=11, ng=18, nr=18, nu=18, nw=18, pb=79/505, pc=22/101, pg=79/505, pr=79/505, pu=79/505, pw=79/505>
  109. AER Z3::Model<n=70, nb=12, nc=10, ng=12, nr=12, nu=12, nw=12, pb=1/7, pc=2/7, pg=1/7, pr=1/7, pu=1/7, pw=1/7>
  110. MM3 Z3::Model<n=101, nb=14, nc=35, ng=13, nr=14, nu=12, nw=13, pb=39/505, pc=70/101, pg=29/505, pr=39/505, pu=19/505, pw=29/505>
  111. AKH Z3::Model<n=101, nb=19, nc=6, ng=19, nr=19, nu=19, nw=19, pb=89/505, pc=12/101, pg=89/505, pr=89/505, pu=89/505, pw=89/505>
  112. HOU Z3::Model<n=70, nb=13, nc=5, ng=13, nr=13, nu=13, nw=13, pb=6/35, pc=1/7, pg=6/35, pr=6/35, pu=6/35, pw=6/35>
  113. XLN Z3::Model<n=101, nb=19, nc=6, ng=19, nr=19, nu=19, nw=19, pb=89/505, pc=12/101, pg=89/505, pr=89/505, pu=89/505, pw=89/505>
  114. IMA Z3::Model<n=101, nb=18, nc=11, ng=18, nr=18, nu=18, nw=18, pb=79/505, pc=22/101, pg=79/505, pr=79/505, pu=79/505, pw=79/505>
  115. UST Z3::Model<n=97, nb=14, nc=26, ng=15, nr=14, nu=14, nw=14, pb=43/485, pc=52/97, pg=53/485, pr=43/485, pu=43/485, pw=43/485>
  116. RIX Z3::Model<n=70, nb=13, nc=5, ng=13, nr=13, nu=13, nw=13, pb=6/35, pc=1/7, pg=6/35, pr=6/35, pu=6/35, pw=6/35>
  117. A25 Z3::Model<n=101, nb=19, nc=9, ng=19, nr=18, nu=18, nw=18, pb=89/505, pc=18/101, pg=89/505, pr=79/505, pu=79/505, pw=79/505>
  118. DOM Z3::Model<n=101, nb=18, nc=11, ng=18, nr=18, nu=18, nw=18, pb=79/505, pc=22/101, pg=79/505, pr=79/505, pu=79/505, pw=79/505>
  119. BBD Z3::Model<n=101, nb=17, nc=16, ng=17, nr=17, nu=17, nw=17, pb=69/505, pc=32/101, pg=69/505, pr=69/505, pu=69/505, pw=69/505>
  120. M19 Z3::Model<n=111, nb=19, nc=16, ng=19, nr=19, nu=19, nw=19, pb=79/555, pc=32/111, pg=79/555, pr=79/555, pu=79/555, pw=79/555>
  121. GRN Z3::Model<n=111, nb=15, nc=36, ng=15, nr=15, nu=15, nw=15, pb=13/185, pc=24/37, pg=13/185, pr=13/185, pu=13/185, pw=13/185>
  122. UMA Z3::Model<n=102, nb=17, nc=17, ng=17, nr=17, nu=17, nw=17, pb=2/15, pc=1/3, pg=2/15, pr=2/15, pu=2/15, pw=2/15>
  123. RNA Z3::Model<n=111, nb=14, nc=41, ng=14, nr=14, nu=14, nw=14, pb=29/555, pc=82/111, pg=29/555, pr=29/555, pu=29/555, pw=29/555>
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement