## Records

 Problem Winner Combinations RE Boss Gray codes Binary Gray code RogerHui Decimal value Gray code RE Boss Overall RE Boss Spiral Order Power Set RE Boss

## Ranking performances

To measure the performance of two verbs or more, the relative execution time (rlt) together with the relative excution space (rls) is used.
The relative execution time (and space) is the execution time, et = 6!:2 (or space, es = 7!:2), divided by the execution time (space) of a fixed verb (or one fixed verb for rlt and another one for rls).
The ranking is done by the relative peformance, rlprf, the product of rlt and rls, with lowest product giving first place.

## Comparable verbs (and performances)

To avoid a discussion as in Power Sets, verbs (and so their performances) are defined to be comparable if (but not only if!):

`1 = v0 -:&(/:~@ ;@(<@, S: 0)) v1`

## Computing and display

The scores are calculated by

`scores=:  5 ts&> ]`

and the ranking by

`rnkng=: 3 : '([:(,~/:@/:@{.) [:(%<./)"1(,~*/)) &.|: y'`

where y is the output of scores.

The display of the ranking can be done by

```dspl=: 4 : 0
z=: ',0.2,0.2,0.2'(8!:0) y
z=: ('Place';'rlprf';'rlt';'rls'),z
('Verb';((<' '),&.>x)),.~z
)

NB.example:

('ps3';'ps4')dspl rnkng scores 'ps3 i.15';'ps4 15'
+-----+-----+----+----+-----+
|Place|rlprf|rlt |rls |Verb|
+-----+-----+----+----+-----+
|1    |8.88 |3.82|2.32| ps3 |
+-----+-----+----+----+-----+
|0    |1.00 |1.00|1.00| ps4 |
+-----+-----+----+----+-----+```

Or in wiki format

```wkdspl=: 3 : 0
hdr=. ;(<'||',LF),~(('||<:>'''''''), ,&'''''''')&.>{.y
hdr, ;(<'||',LF),.~,&.>/"1 ('||<:>';'||<)>';'||<)>';'||<)>';'||<:>'),."1 ":&.>}.y
)```

Example:

```    wkdspl('ps3';'ps4')dspl rnkng scores 'ps3 i.15';'ps4 15'
||<:>'''Place'''||<:>'''rlprf'''||<:>'''rlt'''||<:>'''rls'''||<:>'''Verb'''||
||<:>1||<)>8.88||<)>3.82||<)>2.32||<:> ps3||
||<:>0||<)>1.00||<)>1.00||<)>1.00||<:> ps4||```

which looks like

 Place rlprf rlt rls Verb 1 8.88 3.82 2.32 ps3 0 1.00 1.00 1.00 ps4

RE Boss/Performance Records (last edited 2009-01-12 09:17:47 by RE Boss)