| ALG COM GRA GRP LCL MSC NUM PUZ  SET SWV SYN | Total | Uniq
-----------------------------------------------------------------------
Problems  |  80   1  93   1 107   2 212  51 1407  37 738 |  2729 |
-----------------------------------------------------------------------
IsabelleP |  10   0   0   1  44   0 119  10  387  10 272 |   853 |   15
LEO II    |  45   0   0   1  70   0 152  26  690  19 414 |  1417 |  166
TPS-GOOD1 |  32   1   1   1  82   1 162  21  765  17 414 |  1497 |  209

Any       |  52   1   1   1  86   1 172  28  886  20 462 |  1710 |  390
All       |   6   0   0   1  43   0 111   9  316   9 242 |   737 |
None      |  28   0  92   0  21   1  40  23  521  17 276 |  1019 |
-----------------------------------------------------------------------
IsabelleM |   1   0   0   0  15   0   5  17   75  11  90 |   214 |    8
IsabelleN |   1   0   0   0  16   0   5  18   68  11 162 |   281 |   75

Any       |   1   0   0   0  16   0   5  18   74  11 163 |   289 |   83
All       |   1   0   0   0  15   0   5  17   68  11  89 |   206 |
-----------------------------------------------------------------------