ACL2 #1207
Set 18: Rang 164.830 (Top 18,15 %)
| 57 | 2,35 | 70,2 % | 78,9 % | |
| 55 | 2,67 | 70,9 % | 74,5 % | |
| 45 | 3,13 | 60,0 % | 68,9 % | |
| 43 | 2,16 | 74,4 % | 83,7 % | |
| 36 | 2,72 | 69,4 % | 75,0 % | |
| 36 | 2,19 | 75,0 % | 80,6 % | |
| 35 | 2,40 | 68,6 % | 77,1 % | |
| 34 | 3,06 | 61,8 % | 67,6 % | |
| 32 | 2,50 | 68,8 % | 75,0 % | |
| 32 | 2,78 | 62,5 % | 75,0 % | |
| 31 | 2,45 | 71,0 % | 77,4 % | |
| 28 | 2,75 | 64,3 % | 71,4 % | |
| 28 | 2,32 | 71,4 % | 82,1 % | |
| 27 | 2,81 | 63,0 % | 70,4 % | |
| 25 | 3,56 | 56,0 % | 64,0 % | |
| 23 | 2,87 | 65,2 % | 73,9 % | |
| 22 | 2,00 | 81,8 % | 86,4 % | |
| 21 | 1,05 | 95,2 % | 100,0 % | |
| 21 | 1,95 | 85,7 % | 85,7 % | |
| 20 | 2,80 | 60,0 % | 75,0 % | |
| 20 | 2,05 | 85,0 % | 85,0 % | |
| 20 | 2,85 | 55,0 % | 75,0 % | |
| 18 | 2,17 | 83,3 % | 83,3 % | |
| 18 | 2,28 | 61,1 % | 83,3 % | |
| 17 | 2,06 | 76,5 % | 82,4 % | |
| 17 | 2,71 | 70,6 % | 76,5 % | |
| 16 | 2,31 | 68,8 % | 81,3 % | |
| 16 | 3,25 | 50,0 % | 68,8 % | |
| 15 | 1,00 | 100,0 % | 100,0 % | |
| 14 | 3,57 | 57,1 % | 64,3 % | |
| 13 | 3,08 | 61,5 % | 69,2 % | |
| 13 | 3,62 | 53,8 % | 61,5 % | |
| 12 | 2,17 | 83,3 % | 83,3 % | |
| 11 | 3,45 | 54,5 % | 63,6 % | |
| 11 | 4,18 | 27,3 % | 54,5 % | |
| 10 | 1,60 | 90,0 % | 90,0 % | |
| 10 | 3,90 | 50,0 % | 60,0 % | |
| 9 | 1,67 | 88,9 % | 88,9 % | |
| 9 | 4,11 | 55,6 % | 55,6 % | |
| 7 | 1,86 | 85,7 % | 85,7 % | |
| 7 | 3,00 | 71,4 % | 71,4 % | |
| 7 | 4,14 | 42,9 % | 57,1 % | |
| 6 | 2,17 | 83,3 % | 83,3 % | |
| 6 | 5,83 | 16,7 % | 33,3 % | |
| 5 | 3,80 | 60,0 % | 60,0 % | |
| 4 | 6,25 | 25,0 % | 25,0 % | |
| 4 | 4,50 | 25,0 % | 50,0 % | |
| 4 | 2,75 | 75,0 % | 75,0 % | |
| 3 | 3,67 | 33,3 % | 66,7 % | |
| 3 | 5,67 | 33,3 % | 33,3 % | |
| 3 | 1,00 | 100,0 % | 100,0 % | |
| 2 | 4,50 | 0,0 % | 50,0 % | |
| 2 | 4,50 | 0,0 % | 50,0 % | |
| 2 | 5,00 | 0,0 % | 50,0 % | |
| 2 | 4,50 | 50,0 % | 50,0 % | |
| 2 | 4,50 | 50,0 % | 50,0 % | |
| 2 | 8,00 | 0,0 % | 0,0 % | |
| 2 | 4,50 | 50,0 % | 50,0 % | |
| 1 | 8,00 | 0,0 % | 0,0 % | |
| 1 | 7,00 | 0,0 % | 0,0 % | |
| 1 | 1,00 | 100,0 % | 100,0 % | |
| 1 | 1,00 | 100,0 % | 100,0 % |




