| 1 | * imaginary/bernouilli |
|---|
| 2 | Main (5,2,7,0,0,22) ~ (7,7,22) 0.0 WIN (5,5,22) 0.0 WIN (5,5,22) 0.0 |
|---|
| 3 | |
|---|
| 4 | * imaginary/digits-of-e1 |
|---|
| 5 | Main (4,4,8,0,0,31) ~ (8,8,31) 0.0 WIN (3,3,30) 0.0 WIN (3,3,30) 0.0 |
|---|
| 6 | |
|---|
| 7 | * imaginary/digits-of-e2 |
|---|
| 8 | Main (2,0,2,0,0,55) ~ (2,2,55) 0.0 ----- (2,2,55) 0.0 ----- (2,2,55) 0.0 |
|---|
| 9 | |
|---|
| 10 | * imaginary/exp3_8 |
|---|
| 11 | Main (0,0,0,0,0,29) ~ (0,0,29) 0.0 ----- (0,0,29) 0.0 ----- (0,0,29) 0.0 |
|---|
| 12 | |
|---|
| 13 | * imaginary/gen_regexps |
|---|
| 14 | Main (11,0,11,0,0,26) ~ (11,11,26) 0.0 WIN (5,7,26) 0.0 WIN (6,7,26) 0.0 |
|---|
| 15 | |
|---|
| 16 | * imaginary/integrate |
|---|
| 17 | Main (0,0,0,0,0,12) ~ (0,0,12) 0.0 ----- (0,0,12) 0.0 ----- (0,0,12) 0.0 |
|---|
| 18 | |
|---|
| 19 | * imaginary/paraffins |
|---|
| 20 | Main (25,0,26,0,0,116) ~ (25,26,116) 0.0 WIN (15,23,116) 0.0 WIN (15,20,116) 0.0 |
|---|
| 21 | |
|---|
| 22 | * imaginary/primes |
|---|
| 23 | Main (1,0,1,0,0,3) ~ (1,1,3) 0.0 ----- (1,1,3) 0.0 ----- (1,1,3) 0.0 |
|---|
| 24 | |
|---|
| 25 | * imaginary/queens |
|---|
| 26 | Main (0,0,0,0,0,13) ~ (0,0,13) 0.0 ----- (0,0,13) 0.0 ----- (0,0,13) 0.0 |
|---|
| 27 | |
|---|
| 28 | * imaginary/rfib |
|---|
| 29 | Main (0,0,0,0,0,2) ~ (0,0,2) 0.0 ----- (0,0,2) 0.0 ----- (0,0,2) 0.0 |
|---|
| 30 | |
|---|
| 31 | * imaginary/tak |
|---|
| 32 | Main (0,0,0,0,0,4) ~ (0,0,4) 0.0 ----- (0,0,4) 0.0 ----- (0,0,4) 0.0 |
|---|
| 33 | |
|---|
| 34 | * imaginary/wheel-sieve1 |
|---|
| 35 | Main (2,0,2,0,0,42) ~ (2,2,42) 0.0 ----- (2,2,42) 0.0 ----- (2,2,42) 0.0 |
|---|
| 36 | |
|---|
| 37 | * imaginary/wheel-sieve2 |
|---|
| 38 | Main (1,0,1,0,0,31) ~ (1,1,31) 0.0 ----- (1,1,31) 0.0 ----- (1,1,31) 0.0 |
|---|
| 39 | |
|---|
| 40 | * imaginary/x2n1 |
|---|
| 41 | Main (0,0,0,0,0,4) ~ (0,0,4) 0.0 ----- (0,0,4) 0.0 ----- (0,0,4) 0.0 |
|---|
| 42 | |
|---|
| 43 | * spectral/ansi |
|---|
| 44 | Main (3,0,3,0,0,6) ~ (3,3,6) 0.0 ----- (3,3,6) 0.0 ----- (3,3,6) 0.0 |
|---|
| 45 | |
|---|
| 46 | * spectral/atom |
|---|
| 47 | Main (0,0,0,0,0,35) ~ (0,0,35) 0.0 ----- (0,0,35) 0.0 ----- (0,0,35) 0.0 |
|---|
| 48 | |
|---|
| 49 | * spectral/awards |
|---|
| 50 | QSort (0,0,0,0,0,10) ~ (0,0,10) 0.0 ----- (0,0,10) 0.0 ----- (0,0,10) 0.0 |
|---|
| 51 | Main (0,0,0,0,0,23) ~ (0,0,23) 0.0 ----- (0,0,23) 0.0 ----- (0,0,23) 0.0 |
|---|
| 52 | |
|---|
| 53 | * spectral/banner |
|---|
| 54 | Main (1,0,1,0,0,10) ~ (1,1,10) 0.0 ----- (1,1,10) 0.0 ----- (1,1,10) 0.0 |
|---|
| 55 | |
|---|
| 56 | * spectral/boyer |
|---|
| 57 | Main (0,0,0,0,0,64) ~ (0,0,64) 0.0 ----- (0,0,64) 0.0 ----- (0,0,64) 0.0 |
|---|
| 58 | |
|---|
| 59 | * spectral/boyer2 |
|---|
| 60 | Lisplikefns (0,0,0,0,0,57) ~ (0,0,57) 0.0 ----- (0,0,57) 0.0 ----- (0,0,57) 0.0 |
|---|
| 61 | Checker (0,0,0,0,0,32) ~ (0,0,32) 0.0 ----- (0,0,32) 0.0 ----- (0,0,32) 0.0 |
|---|
| 62 | Rulebasetext (0,0,0,0,0,0) ~ (0,0,0) 0.0 ----- (0,0,0) 0.0 ----- (0,0,0) 0.0 |
|---|
| 63 | Rewritefns (0,0,0,0,0,45) ~ (0,0,45) 0.0 ----- (0,0,45) 0.0 ----- (0,0,45) 0.0 |
|---|
| 64 | Main (0,0,0,0,0,10) ~ (0,0,10) 0.0 ----- (0,0,10) 0.0 ----- (0,0,10) 0.0 |
|---|
| 65 | |
|---|
| 66 | * spectral/calendar |
|---|
| 67 | Main (11,0,11,0,0,19) ~ (11,11,19) 0.0 WIN (6,8,19) 0.0 WIN (6,7,19) 0.0 |
|---|
| 68 | |
|---|
| 69 | * spectral/cichelli |
|---|
| 70 | Key (0,0,0,0,0,0) ~ (0,0,0) 0.0 ----- (0,0,0) 0.0 ----- (0,0,0) 0.0 |
|---|
| 71 | Auxil (4,0,4,0,0,82) ~ (4,4,82) 0.0 ----- (4,4,82) 0.0 ----- (4,4,82) 0.0 |
|---|
| 72 | Interval (0,0,0,0,0,0) ~ (0,0,0) 0.0 ----- (0,0,0) 0.0 ----- (0,0,0) 0.0 |
|---|
| 73 | Prog (1,0,1,0,0,36) ~ (1,1,36) 0.0 ----- (1,1,36) 0.0 ----- (1,1,36) 0.0 |
|---|
| 74 | Main (0,0,0,0,0,0) ~ (0,0,0) 0.0 ----- (0,0,0) 0.0 ----- (0,0,0) 0.0 |
|---|
| 75 | |
|---|
| 76 | * spectral/circsim |
|---|
| 77 | Main (33,0,43,0,0,173) ~ (33,43,173) 0.0 WIN (27,39,173) 0.0 WIN (27,39,173) 0.0 |
|---|
| 78 | |
|---|
| 79 | * spectral/clausify |
|---|
| 80 | Main (1,0,1,0,0,141) ~ (1,1,141) 0.0 LOSE (1,2,142) 0.0 LOSE (1,2,142) 0.0 |
|---|
| 81 | |
|---|
| 82 | * spectral/constraints |
|---|
| 83 | Main (3,0,3,0,0,109) ~ (3,3,109) 0.0 WIN (2,2,109) 0.0 WIN (2,2,109) 0.0 |
|---|
| 84 | |
|---|
| 85 | * spectral/cryptarithm1 |
|---|
| 86 | Main (1,0,1,0,0,26) ~ (1,1,26) 0.0 ----- (1,1,26) 0.0 ----- (1,1,26) 0.0 |
|---|
| 87 | |
|---|
| 88 | * spectral/cryptarithm2 |
|---|
| 89 | MonadTrans (0,0,0,0,0,0) ~ (0,0,0) 0.0 ----- (0,0,0) 0.0 ----- (0,0,0) 0.0 |
|---|
| 90 | MonadState (0,0,0,0,0,5) ~ (0,0,5) 0.0 ----- (0,0,5) 0.0 ----- (0,0,5) 0.0 |
|---|
| 91 | Main (1,0,1,0,0,67) ~ (1,1,67) 0.0 ----- (1,1,67) 0.0 ----- (1,1,67) 0.0 |
|---|
| 92 | |
|---|
| 93 | * spectral/cse |
|---|
| 94 | StateMonad (1,0,1,0,0,5) ~ (1,1,5) 0.0 ----- (1,1,5) 0.0 ----- (1,1,5) 0.0 |
|---|
| 95 | Main (0,0,0,0,0,40) ~ (0,0,40) 0.0 ----- (0,0,40) 0.0 ----- (0,0,40) 0.0 |
|---|
| 96 | |
|---|
| 97 | * spectral/eliza |
|---|
| 98 | Main (0,0,0,0,0,56) ~ (0,0,56) 0.0 ----- (0,0,56) 0.0 ----- (0,0,56) 0.0 |
|---|
| 99 | |
|---|
| 100 | * spectral/expert |
|---|
| 101 | Result (0,0,0,0,0,5) ~ (0,0,5) 0.0 ----- (0,0,5) 0.0 ----- (0,0,5) 0.0 |
|---|
| 102 | Table (0,0,0,0,0,186) ~ (0,0,186) 0.0 ----- (0,0,186) 0.0 ----- (0,0,186) 0.0 |
|---|
| 103 | Knowledge (0,0,0,0,0,63) ~ (0,0,63) 0.0 ----- (0,0,63) 0.0 ----- (0,0,63) 0.0 |
|---|
| 104 | Match (0,0,0,0,0,25) ~ (0,0,25) 0.0 ----- (0,0,25) 0.0 ----- (0,0,25) 0.0 |
|---|
| 105 | Search (0,0,0,0,0,48) ~ (0,0,48) 0.0 ----- (0,0,48) 0.0 ----- (0,0,48) 0.0 |
|---|
| 106 | Main (0,0,0,0,0,37) ~ (0,0,37) 0.0 ----- (0,0,37) 0.0 ----- (0,0,37) 0.0 |
|---|
| 107 | |
|---|
| 108 | * spectral/fft2 |
|---|
| 109 | Complex_Vectors (2,0,2,0,0,7) ~ (2,2,7) 0.0 WIN (1,1,7) 0.0 WIN (1,1,7) 0.0 |
|---|
| 110 | Fourier (11,0,11,0,0,70) ~ (11,11,70) 0.0 WIN (6,6,70) 0.0 WIN (6,8,70) 0.0 |
|---|
| 111 | Main (0,0,0,0,0,4) ~ (0,0,4) 0.0 ----- (0,0,4) 0.0 ----- (0,0,4) 0.0 |
|---|
| 112 | |
|---|
| 113 | * spectral/fibheaps |
|---|
| 114 | Main (18,0,18,0,0,61) ~ (18,18,61) 0.0 WIN (16,18,60) 0.0 WIN (16,18,60) 0.0 |
|---|
| 115 | |
|---|
| 116 | * spectral/fish |
|---|
| 117 | Main (30,0,30,0,0,35) ~ (30,30,35) 0.0 ----- (30,30,35) 0.0 ----- (30,30,35) 0.0 |
|---|
| 118 | |
|---|
| 119 | * spectral/gcd |
|---|
| 120 | Main (8,0,8,0,0,22) ~ (8,8,22) 0.0 LOSE (8,9,20) 0.0 WIN (8,8,20) 0.0 |
|---|
| 121 | |
|---|
| 122 | * spectral/hartel/comp_lab_zift |
|---|
| 123 | Main (56,0,56,0,0,262) ~ (56,56,262) 0.0 WIN (53,56,253) 0.0 WIN (44,47,262) 0.0 |
|---|
| 124 | |
|---|
| 125 | * spectral/hartel/event |
|---|
| 126 | Main (3,0,3,0,0,77) ~ (3,3,77) 0.0 ----- (3,3,77) 0.0 ----- (3,3,77) 0.0 |
|---|
| 127 | |
|---|
| 128 | * spectral/hartel/fft |
|---|
| 129 | Main (30,7,37,0,0,77) ~ (37,37,77) 0.0 WIN (30,33,74) 0.0 WIN (28,32,75) 0.0 |
|---|
| 130 | |
|---|
| 131 | * spectral/hartel/genfft |
|---|
| 132 | Main (39,5,47,0,0,46) ~ (44,47,46) 0.0 WIN (23,34,37) 0.0 WIN (24,34,37) 0.0 |
|---|
| 133 | |
|---|
| 134 | * spectral/hartel/ida |
|---|
| 135 | Main (58,2,60,0,0,86) ~ (60,60,86) 0.0 WIN (23,29,84) 0.0 WIN (23,29,84) 0.0 |
|---|
| 136 | |
|---|
| 137 | * spectral/hartel/listcompr |
|---|
| 138 | Main (0,0,0,0,0,20) ~ (0,0,20) 0.0 ----- (0,0,20) 0.0 ----- (0,0,20) 0.0 |
|---|
| 139 | |
|---|
| 140 | * spectral/hartel/listcopy |
|---|
| 141 | Main (0,0,0,0,0,21) ~ (0,0,21) 0.0 ----- (0,0,21) 0.0 ----- (0,0,21) 0.0 |
|---|
| 142 | |
|---|
| 143 | * spectral/hartel/nucleic2 |
|---|
| 144 | Types (0,0,0,0,0,0) ~ (0,0,0) 0.0 ----- (0,0,0) 0.0 ----- (0,0,0) 0.0 |
|---|
| 145 | RU (0,0,0,0,0,0) ~ (0,0,0) 0.0 ----- (0,0,0) 0.0 ----- (0,0,0) 0.0 |
|---|
| 146 | RG (0,0,0,0,0,0) ~ (0,0,0) 0.0 ----- (0,0,0) 0.0 ----- (0,0,0) 0.0 |
|---|
| 147 | RC (0,0,0,0,0,0) ~ (0,0,0) 0.0 ----- (0,0,0) 0.0 ----- (0,0,0) 0.0 |
|---|
| 148 | RA (0,0,0,0,0,0) ~ (0,0,0) 0.0 ----- (0,0,0) 0.0 ----- (0,0,0) 0.0 |
|---|
| 149 | Main (0,0,0,0,0,177) ~ (0,0,177) 0.0 ----- (0,0,177) 0.0 ----- (0,0,177) 0.0 |
|---|
| 150 | |
|---|
| 151 | * spectral/hartel/parstof |
|---|
| 152 | Main (25,0,25,0,0,388) ~ (25,25,388) 0.0 WIN (19,22,388) 0.0 WIN (18,22,387) 0.0 |
|---|
| 153 | |
|---|
| 154 | * spectral/hartel/sched |
|---|
| 155 | Main (12,0,12,0,0,45) ~ (12,12,45) 0.0 WIN (9,12,45) 0.0 WIN (9,12,45) 0.0 |
|---|
| 156 | |
|---|
| 157 | * spectral/hartel/solid |
|---|
| 158 | Main (5,0,5,0,0,53) ~ (5,5,53) 0.0 WIN (4,4,53) 0.0 WIN (4,4,53) 0.0 |
|---|
| 159 | |
|---|
| 160 | * spectral/hartel/transform |
|---|
| 161 | Main (30,0,30,0,0,440) ~ (30,30,440) 0.0 ----- (30,30,440) 0.0 ----- (30,30,440) 0.0 |
|---|
| 162 | |
|---|
| 163 | * spectral/hartel/typecheck |
|---|
| 164 | Main (1,0,1,0,0,94) ~ (1,1,94) 0.0 ----- (1,1,94) 0.0 ----- (1,1,94) 0.0 |
|---|
| 165 | |
|---|
| 166 | * spectral/hartel/wave4main |
|---|
| 167 | Main (18,0,18,0,0,39) ~ (18,18,39) 0.0 WIN (16,16,40) 0.0 WIN (16,18,39) 0.0 |
|---|
| 168 | |
|---|
| 169 | * spectral/integer |
|---|
| 170 | Main (3,0,3,0,0,25) ~ (3,3,25) 0.0 OK (2,4,25) 0.0 OK (2,4,25) 0.0 |
|---|
| 171 | |
|---|
| 172 | * spectral/knights |
|---|
| 173 | Sort (0,0,0,0,0,50) ~ (0,0,50) 0.0 ----- (0,0,50) 0.0 ----- (0,0,50) 0.0 |
|---|
| 174 | ChessSetArray (23,0,23,0,0,39) ~ (23,23,39) 0.0 WIN (15,19,39) 0.0 WIN (15,19,39) 0.0 |
|---|
| 175 | ChessSetList (7,0,7,0,0,32) ~ (7,7,32) 0.0 WIN (5,6,32) 0.0 WIN (5,6,32) 0.0 |
|---|
| 176 | KnightHeuristic (22,0,22,0,0,47) ~ (22,22,47) 0.0 ----- (22,22,47) 0.0 ----- (22,22,47) 0.0 |
|---|
| 177 | Queue (0,0,0,0,0,9) ~ (0,0,9) 0.0 ----- (0,0,9) 0.0 ----- (0,0,9) 0.0 |
|---|
| 178 | Main (3,0,3,0,0,15) ~ (3,3,15) 0.0 ----- (3,3,15) 0.0 ----- (3,3,15) 0.0 |
|---|
| 179 | |
|---|
| 180 | * spectral/lambda |
|---|
| 181 | Main (0,0,0,0,0,67) ~ (0,0,67) 0.0 ----- (0,0,67) 0.0 ----- (0,0,67) 0.0 |
|---|
| 182 | |
|---|
| 183 | * spectral/last-piece |
|---|
| 184 | |
|---|
| 185 | * spectral/lcss |
|---|
| 186 | Main (6,0,6,0,0,26) ~ (6,6,26) 0.0 ----- (6,6,26) 0.0 ----- (6,6,26) 0.0 |
|---|
| 187 | |
|---|
| 188 | * spectral/life |
|---|
| 189 | Main (1,0,1,0,0,38) ~ (1,1,38) 0.0 ----- (1,1,38) 0.0 ----- (1,1,38) 0.0 |
|---|
| 190 | |
|---|
| 191 | * spectral/mandel |
|---|
| 192 | PortablePixmap (0,0,0,0,0,1) ~ (0,0,1) 0.0 ----- (0,0,1) 0.0 ----- (0,0,1) 0.0 |
|---|
| 193 | Mandel (1,0,1,0,0,18) ~ (1,1,18) 0.0 ----- (1,1,18) 0.0 ----- (1,1,18) 0.0 |
|---|
| 194 | Main (0,0,0,0,0,21) ~ (0,0,21) 0.0 ----- (0,0,21) 0.0 ----- (0,0,21) 0.0 |
|---|
| 195 | |
|---|
| 196 | * spectral/mandel2 |
|---|
| 197 | Main (9,0,9,0,0,25) ~ (9,9,25) 0.0 ----- (9,9,25) 0.0 ----- (9,9,25) 0.0 |
|---|
| 198 | |
|---|
| 199 | * spectral/minimax |
|---|
| 200 | Wins (0,0,0,0,0,0) ~ (0,0,0) 0.0 ----- (0,0,0) 0.0 ----- (0,0,0) 0.0 |
|---|
| 201 | Board (0,0,0,0,0,81) ~ (0,0,81) 0.0 ----- (0,0,81) 0.0 ----- (0,0,81) 0.0 |
|---|
| 202 | Tree (2,0,2,0,0,10) ~ (2,2,10) 0.0 WIN (1,2,10) 0.0 WIN (1,2,10) 0.0 |
|---|
| 203 | Game (0,0,0,0,0,42) ~ (0,0,42) 0.0 ----- (0,0,42) 0.0 ----- (0,0,42) 0.0 |
|---|
| 204 | Prog (0,0,0,0,0,1) ~ (0,0,1) 0.0 ----- (0,0,1) 0.0 ----- (0,0,1) 0.0 |
|---|
| 205 | Main (0,0,0,0,0,0) ~ (0,0,0) 0.0 ----- (0,0,0) 0.0 ----- (0,0,0) 0.0 |
|---|
| 206 | |
|---|
| 207 | * spectral/multiplier |
|---|
| 208 | Main (12,0,12,0,0,121) ~ (12,12,121) 0.0 WIN (11,12,121) 0.0 WIN (11,12,121) 0.0 |
|---|
| 209 | |
|---|
| 210 | * spectral/para |
|---|
| 211 | Main (23,0,23,0,0,333) ~ (23,23,333) 0.0 ----- (23,23,333) 0.0 ----- (23,23,333) 0.0 |
|---|
| 212 | |
|---|
| 213 | * spectral/power |
|---|
| 214 | Main (2,1,3,0,0,222) ~ (3,3,222) 0.0 WIN (2,2,222) 0.0 WIN (2,2,222) 0.0 |
|---|
| 215 | |
|---|
| 216 | * spectral/pretty |
|---|
| 217 | CharSeq (4,0,4,0,0,14) ~ (4,4,14) 0.0 WIN (3,4,14) 0.0 WIN (3,4,14) 0.0 |
|---|
| 218 | Pretty (10,0,10,0,0,36) ~ (10,10,36) 0.0 ----- (10,10,36) 0.0 ----- (10,10,36) 0.0 |
|---|
| 219 | Main (1,0,1,0,0,1) ~ (1,1,1) 0.0 ----- (1,1,1) 0.0 ----- (1,1,1) 0.0 |
|---|
| 220 | |
|---|
| 221 | * spectral/primetest |
|---|
| 222 | IntLib (6,8,14,0,0,60) ~ (14,14,60) 0.0 WIN (6,6,57) 0.0 WIN (6,6,55) 0.0 |
|---|
| 223 | MyRandom (32,0,32,0,0,15) ~ (32,32,15) 0.0 WIN (22,27,21) 0.0 WIN (22,27,21) 0.0 |
|---|
| 224 | Prime (8,0,8,0,0,153) ~ (8,8,153) 0.0 WIN (8,8,145) 0.0 WIN (8,8,145) 0.0 |
|---|
| 225 | Main (0,0,0,0,0,4) ~ (0,0,4) 0.0 ----- (0,0,4) 0.0 ----- (0,0,4) 0.0 |
|---|
| 226 | |
|---|
| 227 | * spectral/puzzle |
|---|
| 228 | Main (9,0,9,0,0,120) ~ (9,9,120) 0.0 ----- (9,9,120) 0.0 ----- (9,9,120) 0.0 |
|---|
| 229 | |
|---|
| 230 | * spectral/rewrite |
|---|
| 231 | Main (5,0,5,0,0,280) ~ (5,5,280) 0.0 ----- (5,5,280) 0.0 ----- (5,5,280) 0.0 |
|---|
| 232 | |
|---|
| 233 | * spectral/scc |
|---|
| 234 | Digraph (0,0,0,0,0,48) ~ (0,0,48) 0.0 ----- (0,0,48) 0.0 ----- (0,0,48) 0.0 |
|---|
| 235 | Main (0,0,0,0,0,0) ~ (0,0,0) 0.0 ----- (0,0,0) 0.0 ----- (0,0,0) 0.0 |
|---|
| 236 | |
|---|
| 237 | * spectral/secretary |
|---|
| 238 | |
|---|
| 239 | * spectral/simple |
|---|
| 240 | Main (92,0,92,0,0,897) ~ (92,92,897) 0.0 LOSE (93,93,937) 0.0 LOSE (93,97,928) 0.0 |
|---|
| 241 | |
|---|
| 242 | * spectral/sorting |
|---|
| 243 | Sort (1,10,11,0,0,237) ~ (11,11,237) 0.0 ----- (11,11,237) 0.0 ----- (11,11,237) 0.0 |
|---|
| 244 | Main (0,0,0,0,0,8) ~ (0,0,8) 0.0 ----- (0,0,8) 0.0 ----- (0,0,8) 0.0 |
|---|
| 245 | |
|---|
| 246 | * spectral/sphere |
|---|
| 247 | Main (6,0,6,0,0,170) ~ (6,6,170) 0.0 WIN (1,1,170) 0.0 WIN (1,1,170) 0.0 |
|---|
| 248 | |
|---|
| 249 | * spectral/treejoin |
|---|
| 250 | Main (1,0,1,0,0,24) ~ (1,1,24) 0.0 ----- (1,1,24) 0.0 ----- (1,1,24) 0.0 |
|---|
| 251 | |
|---|
| 252 | * real/anna |
|---|
| 253 | Utils (23,0,23,0,0,305) ~ (23,23,305) 0.0 WIN (20,21,310) 0.0 WIN (20,21,309) 0.0 |
|---|
| 254 | BaseDefs (0,0,0,0,0,529) ~ (0,0,529) 0.0 ----- (0,0,529) 0.0 ----- (0,0,529) 0.0 |
|---|
| 255 | MyUtils (1,0,1,0,0,67) ~ (1,1,67) 0.0 ----- (1,1,67) 0.0 ----- (1,1,67) 0.0 |
|---|
| 256 | DomainExpr (2,0,2,0,0,36) ~ (2,2,36) 0.0 ----- (2,2,36) 0.0 ----- (2,2,36) 0.0 |
|---|
| 257 | AbstractVals2 (0,0,0,0,0,200) ~ (0,0,200) 0.0 ----- (0,0,200) 0.0 ----- (0,0,200) 0.0 |
|---|
| 258 | SuccsAndPreds2 (1,0,1,0,0,299) ~ (1,1,299) 0.0 ----- (1,1,299) 0.0 ----- (1,1,299) 0.0 |
|---|
| 259 | AbstractMisc (0,0,0,0,0,50) ~ (0,0,50) 0.0 ----- (0,0,50) 0.0 ----- (0,0,50) 0.0 |
|---|
| 260 | AbsConc3 (0,0,0,0,0,168) ~ (0,0,168) 0.0 ----- (0,0,168) 0.0 ----- (0,0,168) 0.0 |
|---|
| 261 | Apply (1,0,1,0,0,35) ~ (1,1,35) 0.0 ----- (1,1,35) 0.0 ----- (1,1,35) 0.0 |
|---|
| 262 | AbstractEval2 (0,0,0,0,0,13) ~ (0,0,13) 0.0 ----- (0,0,13) 0.0 ----- (0,0,13) 0.0 |
|---|
| 263 | BarakiMeet (0,0,0,0,0,74) ~ (0,0,74) 0.0 ----- (0,0,74) 0.0 ----- (0,0,74) 0.0 |
|---|
| 264 | BarakiConc3 (0,0,0,0,0,77) ~ (0,0,77) 0.0 ----- (0,0,77) 0.0 ----- (0,0,77) 0.0 |
|---|
| 265 | Inverse (0,0,0,0,0,99) ~ (0,0,99) 0.0 ----- (0,0,99) 0.0 ----- (0,0,99) 0.0 |
|---|
| 266 | Constructors (0,0,0,0,0,55) ~ (0,0,55) 0.0 ----- (0,0,55) 0.0 ----- (0,0,55) 0.0 |
|---|
| 267 | Dependancy (0,0,0,0,0,145) ~ (0,0,145) 0.0 ----- (0,0,145) 0.0 ----- (0,0,145) 0.0 |
|---|
| 268 | EtaAbstract (0,0,0,0,0,18) ~ (0,0,18) 0.0 ----- (0,0,18) 0.0 ----- (0,0,18) 0.0 |
|---|
| 269 | FrontierMisc2 (0,0,0,0,0,41) ~ (0,0,41) 0.0 ----- (0,0,41) 0.0 ----- (0,0,41) 0.0 |
|---|
| 270 | FrontierDATAFN2 (0,0,0,0,0,34) ~ (0,0,34) 0.0 ----- (0,0,34) 0.0 ----- (0,0,34) 0.0 |
|---|
| 271 | FrontierGENERIC2 (0,0,0,0,0,50) ~ (0,0,50) 0.0 ----- (0,0,50) 0.0 ----- (0,0,50) 0.0 |
|---|
| 272 | LambdaLift5 (3,0,3,0,0,115) ~ (3,3,115) 0.0 ----- (3,3,115) 0.0 ----- (3,3,115) 0.0 |
|---|
| 273 | MakeDomains (0,0,0,0,0,33) ~ (0,0,33) 0.0 ----- (0,0,33) 0.0 ----- (0,0,33) 0.0 |
|---|
| 274 | Parser2 (11,0,11,0,0,350) ~ (11,11,350) 0.0 ----- (11,11,350) 0.0 ----- (11,11,350) 0.0 |
|---|
| 275 | ReadTable (2,0,2,0,0,51) ~ (2,2,51) 0.0 ----- (2,2,51) 0.0 ----- (2,2,51) 0.0 |
|---|
| 276 | SmallerLattice (9,0,9,0,0,196) ~ (9,9,196) 0.0 LOSE (9,10,196) 0.0 LOSE (9,10,196) 0.0 |
|---|
| 277 | Simplify (0,0,0,0,0,39) ~ (0,0,39) 0.0 ----- (0,0,39) 0.0 ----- (0,0,39) 0.0 |
|---|
| 278 | TypeCheck5 (8,0,8,0,0,359) ~ (8,8,359) 0.0 ----- (8,8,359) 0.0 ----- (8,8,359) 0.0 |
|---|
| 279 | TExpr2DExpr (3,0,3,0,0,58) ~ (3,3,58) 0.0 WIN (2,2,58) 0.0 WIN (2,2,58) 0.0 |
|---|
| 280 | PrintResults (10,0,10,0,0,89) ~ (10,10,89) 0.0 ----- (10,10,89) 0.0 ----- (10,10,89) 0.0 |
|---|
| 281 | StrictAn6 (3,0,3,0,0,309) ~ (3,3,309) 0.0 ----- (3,3,309) 0.0 ----- (3,3,309) 0.0 |
|---|
| 282 | PrettyPrint (0,0,0,0,0,27) ~ (0,0,27) 0.0 ----- (0,0,27) 0.0 ----- (0,0,27) 0.0 |
|---|
| 283 | Main (0,0,0,0,0,51) ~ (0,0,51) 0.0 ----- (0,0,51) 0.0 ----- (0,0,51) 0.0 |
|---|
| 284 | Monster (9,0,9,0,0,12) ~ (9,9,12) 0.0 WIN (4,4,10) 0.0 WIN (4,4,10) 0.0 |
|---|
| 285 | |
|---|
| 286 | * real/bspt |
|---|
| 287 | Libfuns (0,0,0,0,0,0) ~ (0,0,0) 0.0 ----- (0,0,0) 0.0 ----- (0,0,0) 0.0 |
|---|
| 288 | Stdlib (1,0,1,0,0,19) ~ (1,1,19) 0.0 ----- (1,1,19) 0.0 ----- (1,1,19) 0.0 |
|---|
| 289 | Rationals (18,0,18,0,0,47) ~ (18,18,47) 0.0 WIN (11,16,46) 0.0 WIN (11,16,46) 0.0 |
|---|
| 290 | Params (0,0,0,0,0,4) ~ (0,0,4) 0.0 ----- (0,0,4) 0.0 ----- (0,0,4) 0.0 |
|---|
| 291 | GeomNum (5,0,5,0,0,17) ~ (5,5,17) 0.0 ----- (5,5,17) 0.0 ----- (5,5,17) 0.0 |
|---|
| 292 | MGRlib (1,0,1,0,0,8) ~ (1,1,8) 0.0 ----- (1,1,8) 0.0 ----- (1,1,8) 0.0 |
|---|
| 293 | Euclid (6,0,6,0,0,92) ~ (6,6,92) 0.0 ----- (6,6,92) 0.0 ----- (6,6,92) 0.0 |
|---|
| 294 | EuclidGMS (0,0,0,0,0,72) ~ (0,0,72) 0.0 ----- (0,0,72) 0.0 ----- (0,0,72) 0.0 |
|---|
| 295 | BSPT (0,0,0,0,0,97) ~ (0,0,97) 0.0 ----- (0,0,97) 0.0 ----- (0,0,97) 0.0 |
|---|
| 296 | Init (14,0,14,0,0,37) ~ (14,14,37) 0.0 ----- (14,14,37) 0.0 ----- (14,14,37) 0.0 |
|---|
| 297 | Interpret (0,0,0,0,0,51) ~ (0,0,51) 0.0 ----- (0,0,51) 0.0 ----- (0,0,51) 0.0 |
|---|
| 298 | Input (0,0,0,0,0,0) ~ (0,0,0) 0.0 ----- (0,0,0) 0.0 ----- (0,0,0) 0.0 |
|---|
| 299 | Merge (0,0,0,0,0,45) ~ (0,0,45) 0.0 ----- (0,0,45) 0.0 ----- (0,0,45) 0.0 |
|---|
| 300 | Render (2,0,2,0,0,21) ~ (2,2,21) 0.0 ----- (2,2,21) 0.0 ----- (2,2,21) 0.0 |
|---|
| 301 | Interface (0,0,0,0,0,10) ~ (0,0,10) 0.0 ----- (0,0,10) 0.0 ----- (0,0,10) 0.0 |
|---|
| 302 | Prog (0,0,0,0,0,2) ~ (0,0,2) 0.0 ----- (0,0,2) 0.0 ----- (0,0,2) 0.0 |
|---|
| 303 | Main (0,0,0,0,0,0) ~ (0,0,0) 0.0 ----- (0,0,0) 0.0 ----- (0,0,0) 0.0 |
|---|
| 304 | |
|---|
| 305 | * real/cacheprof |
|---|
| 306 | Arch_x86 (0,0,0,0,0,37) ~ (0,0,37) 0.0 ----- (0,0,37) 0.0 ----- (0,0,37) 0.0 |
|---|
| 307 | Generics (0,0,0,0,0,71) ~ (0,0,71) 0.0 ----- (0,0,71) 0.0 ----- (0,0,71) 0.0 |
|---|
| 308 | Main (7,0,7,0,0,877) ~ (7,7,877) 0.0 LOSE (7,7,878) 0.0 ----- (7,7,877) 0.0 |
|---|
| 309 | |
|---|
| 310 | * real/compress |
|---|
| 311 | BinConv (6,0,6,0,0,15) ~ (6,6,15) 0.0 WIN (4,5,11) 0.0 WIN (4,5,11) 0.0 |
|---|
| 312 | BinTest (1,1,2,0,0,4) ~ (2,2,4) 0.0 WIN (1,1,4) 0.0 WIN (1,1,4) 0.0 |
|---|
| 313 | Defaults (0,0,0,0,0,0) ~ (0,0,0) 0.0 ----- (0,0,0) 0.0 ----- (0,0,0) 0.0 |
|---|
| 314 | Decode (5,0,5,0,0,38) ~ (5,5,38) 0.0 WIN (4,5,38) 0.0 WIN (4,5,38) 0.0 |
|---|
| 315 | PTTrees (0,0,0,0,0,14) ~ (0,0,14) 0.0 ----- (0,0,14) 0.0 ----- (0,0,14) 0.0 |
|---|
| 316 | Encode (1,0,1,0,0,12) ~ (1,1,12) 0.0 ----- (1,1,12) 0.0 ----- (1,1,12) 0.0 |
|---|
| 317 | Main (0,0,0,0,0,2) ~ (0,0,2) 0.0 ----- (0,0,2) 0.0 ----- (0,0,2) 0.0 |
|---|
| 318 | Uncompress (1,0,1,0,0,2) ~ (1,1,2) 0.0 ----- (1,1,2) 0.0 ----- (1,1,2) 0.0 |
|---|
| 319 | |
|---|
| 320 | * real/compress2 |
|---|
| 321 | Encode (555,0,555,0,0,867) ~ (555,555,867) 0.0 WIN (503,523,867) 0.0 WIN (503,523,867) 0.0 |
|---|
| 322 | WriteRoutines (13,2,15,0,0,15) ~ (15,15,15) 0.0 WIN (12,12,13) 0.0 WIN (12,12,13) 0.0 |
|---|
| 323 | Main (1,0,1,0,0,0) ~ (1,1,0) 0.0 ----- (1,1,0) 0.0 ----- (1,1,0) 0.0 |
|---|
| 324 | |
|---|
| 325 | * real/ebnf2ps |
|---|
| 326 | |
|---|
| 327 | * real/fem |
|---|
| 328 | Database (7,0,7,0,0,13) ~ (7,7,13) 0.0 WIN (5,5,13) 0.0 WIN (5,5,13) 0.0 |
|---|
| 329 | DB_interface (10,0,10,0,0,49) ~ (10,10,49) 0.0 ----- (10,10,49) 0.0 ----- (10,10,49) 0.0 |
|---|
| 330 | Basics (1,0,1,0,0,5) ~ (1,1,5) 0.0 ----- (1,1,5) 0.0 ----- (1,1,5) 0.0 |
|---|
| 331 | Vector (25,0,25,0,0,20) ~ (25,25,20) 0.0 WIN (17,17,23) 0.0 WIN (17,19,20) 0.0 |
|---|
| 332 | Degrees (8,0,8,0,0,30) ~ (8,8,30) 0.0 ----- (8,8,30) 0.0 ----- (8,8,30) 0.0 |
|---|
| 333 | Assemble_loadvec (0,0,0,0,0,3) ~ (0,0,3) 0.0 ----- (0,0,3) 0.0 ----- (0,0,3) 0.0 |
|---|
| 334 | Matrix (5,0,5,0,0,84) ~ (5,5,84) 0.0 ----- (5,5,84) 0.0 ----- (5,5,84) 0.0 |
|---|
| 335 | Elemstif (0,0,0,0,0,12) ~ (0,0,12) 0.0 ----- (0,0,12) 0.0 ----- (0,0,12) 0.0 |
|---|
| 336 | Pre_assemble (2,0,2,0,0,16) ~ (2,2,16) 0.0 LOSE (2,2,17) 0.0 LOSE (2,3,16) 0.0 |
|---|
| 337 | VBmatrix (2,0,2,0,0,52) ~ (2,2,52) 0.0 ----- (2,2,52) 0.0 ----- (2,2,52) 0.0 |
|---|
| 338 | Assemble_stiffness (4,0,4,0,0,15) ~ (4,4,15) 0.0 WIN (3,3,15) 0.0 WIN (3,3,15) 0.0 |
|---|
| 339 | VBlldecomp (9,0,9,0,0,78) ~ (9,9,78) 0.0 LOSE (9,9,85) 0.0 LOSE (9,17,78) 0.0 |
|---|
| 340 | Displacement (7,0,7,0,0,17) ~ (7,7,17) 0.0 ----- (7,7,17) 0.0 ----- (7,7,17) 0.0 |
|---|
| 341 | Elemforce (0,0,0,0,0,2) ~ (0,0,2) 0.0 ----- (0,0,2) 0.0 ----- (0,0,2) 0.0 |
|---|
| 342 | Printuvwforce (1,0,1,0,0,12) ~ (1,1,12) 0.0 LOSE (1,1,13) 0.0 LOSE (1,2,12) 0.0 |
|---|
| 343 | PrintSource (7,0,7,0,0,22) ~ (7,7,22) 0.0 WIN (4,7,26) 0.0 LOSE (4,12,22) 0.0 |
|---|
| 344 | Main (0,0,0,0,0,0) ~ (0,0,0) 0.0 ----- (0,0,0) 0.0 ----- (0,0,0) 0.0 |
|---|
| 345 | |
|---|
| 346 | * real/fluid |
|---|
| 347 | Norm (0,0,0,0,0,4) ~ (0,0,4) 0.0 ----- (0,0,4) 0.0 ----- (0,0,4) 0.0 |
|---|
| 348 | S_Array (9,0,9,0,0,152) ~ (9,9,152) 0.0 ----- (9,9,152) 0.0 ----- (9,9,152) 0.0 |
|---|
| 349 | Defs (0,0,0,0,0,0) ~ (0,0,0) 0.0 ----- (0,0,0) 0.0 ----- (0,0,0) 0.0 |
|---|
| 350 | Asb_routs (1,0,1,0,0,19) ~ (1,1,19) 0.0 ----- (1,1,19) 0.0 ----- (1,1,19) 0.0 |
|---|
| 351 | C_matrix (0,0,0,0,0,52) ~ (0,0,52) 0.0 ----- (0,0,52) 0.0 ----- (0,0,52) 0.0 |
|---|
| 352 | Chl_decomp (4,0,4,0,0,124) ~ (4,4,124) 0.0 WIN (3,4,124) 0.0 OK (3,5,124) 0.0 |
|---|
| 353 | Chl_method (2,0,2,0,0,57) ~ (2,2,57) 0.0 WIN (1,1,57) 0.0 WIN (1,1,57) 0.0 |
|---|
| 354 | Min_degree (1,0,1,0,0,58) ~ (1,1,58) 0.0 ----- (1,1,58) 0.0 ----- (1,1,58) 0.0 |
|---|
| 355 | Chl_routs (17,0,17,0,0,222) ~ (17,17,222) 0.0 WIN (7,8,222) 0.0 WIN (7,8,222) 0.0 |
|---|
| 356 | Elefac (0,0,0,0,0,28) ~ (0,0,28) 0.0 ----- (0,0,28) 0.0 ----- (0,0,28) 0.0 |
|---|
| 357 | Input_proc (24,0,24,0,0,147) ~ (24,24,147) 0.0 WIN (12,12,147) 0.0 WIN (12,12,147) 0.0 |
|---|
| 358 | Tol_cal (0,0,0,0,0,11) ~ (0,0,11) 0.0 ----- (0,0,11) 0.0 ----- (0,0,11) 0.0 |
|---|
| 359 | Jcb_method (0,0,0,0,0,41) ~ (0,0,41) 0.0 ----- (0,0,41) 0.0 ----- (0,0,41) 0.0 |
|---|
| 360 | L_matrix (0,0,0,0,0,12) ~ (0,0,12) 0.0 ----- (0,0,12) 0.0 ----- (0,0,12) 0.0 |
|---|
| 361 | S_matrix (0,0,0,0,0,57) ~ (0,0,57) 0.0 ----- (0,0,57) 0.0 ----- (0,0,57) 0.0 |
|---|
| 362 | Rhs_Asb_routs (0,0,0,0,0,62) ~ (0,0,62) 0.0 ----- (0,0,62) 0.0 ----- (0,0,62) 0.0 |
|---|
| 363 | TG_iter (0,0,0,0,0,48) ~ (0,0,48) 0.0 ----- (0,0,48) 0.0 ----- (0,0,48) 0.0 |
|---|
| 364 | Main (0,0,0,0,0,1) ~ (0,0,1) 0.0 ----- (0,0,1) 0.0 ----- (0,0,1) 0.0 |
|---|
| 365 | |
|---|
| 366 | * real/fulsom |
|---|
| 367 | Interval (0,0,0,0,0,97) ~ (0,0,97) 0.0 ----- (0,0,97) 0.0 ----- (0,0,97) 0.0 |
|---|
| 368 | Types (0,0,0,0,0,24) ~ (0,0,24) 0.0 ----- (0,0,24) 0.0 ----- (0,0,24) 0.0 |
|---|
| 369 | Matrix (0,0,0,0,0,36) ~ (0,0,36) 0.0 ----- (0,0,36) 0.0 ----- (0,0,36) 0.0 |
|---|
| 370 | Csg (0,0,0,0,0,227) ~ (0,0,227) 0.0 ----- (0,0,227) 0.0 ----- (0,0,227) 0.0 |
|---|
| 371 | Kolor (0,0,0,0,0,0) ~ (0,0,0) 0.0 ----- (0,0,0) 0.0 ----- (0,0,0) 0.0 |
|---|
| 372 | Patchlevel (0,0,0,0,0,0) ~ (0,0,0) 0.0 ----- (0,0,0) 0.0 ----- (0,0,0) 0.0 |
|---|
| 373 | Vector (0,0,0,0,0,16) ~ (0,0,16) 0.0 ----- (0,0,16) 0.0 ----- (0,0,16) 0.0 |
|---|
| 374 | Oct (2,0,2,0,0,57) ~ (2,2,57) 0.0 WIN (1,2,57) 0.0 WIN (1,2,57) 0.0 |
|---|
| 375 | Quad (0,0,0,0,0,47) ~ (0,0,47) 0.0 ----- (0,0,47) 0.0 ----- (0,0,47) 0.0 |
|---|
| 376 | Raster (10,0,10,0,0,23) ~ (10,10,23) 0.0 ----- (10,10,23) 0.0 ----- (10,10,23) 0.0 |
|---|
| 377 | Shapes (0,0,0,0,0,0) ~ (0,0,0) 0.0 ----- (0,0,0) 0.0 ----- (0,0,0) 0.0 |
|---|
| 378 | Main (0,0,0,0,0,2) ~ (0,0,2) 0.0 ----- (0,0,2) 0.0 ----- (0,0,2) 0.0 |
|---|
| 379 | |
|---|
| 380 | * real/gamteb |
|---|
| 381 | Consts (0,0,0,0,0,0) ~ (0,0,0) 0.0 ----- (0,0,0) 0.0 ----- (0,0,0) 0.0 |
|---|
| 382 | GamtebType (0,0,0,0,0,0) ~ (0,0,0) 0.0 ----- (0,0,0) 0.0 ----- (0,0,0) 0.0 |
|---|
| 383 | InitTable (4,0,4,0,0,8) ~ (4,4,8) 0.0 ----- (4,4,8) 0.0 ----- (4,4,8) 0.0 |
|---|
| 384 | Utils (1,1,2,0,0,39) ~ (2,2,39) 0.0 WIN (1,1,40) 0.0 WIN (1,2,39) 0.0 |
|---|
| 385 | Compton (7,4,16,0,0,3) ~ (11,16,3) 0.0 WIN (4,14,3) 0.0 WIN (4,16,3) 0.0 |
|---|
| 386 | Distance (0,0,0,0,0,7) ~ (0,0,7) 0.0 ----- (0,0,7) 0.0 ----- (0,0,7) 0.0 |
|---|
| 387 | Output (16,0,16,0,0,17) ~ (16,16,17) 0.0 WIN (7,8,19) 0.0 WIN (7,9,18) 0.0 |
|---|
| 388 | Pair (0,0,0,0,0,0) ~ (0,0,0) 0.0 ----- (0,0,0) 0.0 ----- (0,0,0) 0.0 |
|---|
| 389 | PhotoElec (0,0,0,0,0,1) ~ (0,0,1) 0.0 ----- (0,0,1) 0.0 ----- (0,0,1) 0.0 |
|---|
| 390 | RoulSplit (0,0,0,0,0,0) ~ (0,0,0) 0.0 ----- (0,0,0) 0.0 ----- (0,0,0) 0.0 |
|---|
| 391 | TransPort (0,0,0,0,0,8) ~ (0,0,8) 0.0 ----- (0,0,8) 0.0 ----- (0,0,8) 0.0 |
|---|
| 392 | GamtebMain (1,0,1,0,0,0) ~ (1,1,0) 0.0 ----- (1,1,0) 0.0 ----- (1,1,0) 0.0 |
|---|
| 393 | Main (0,0,0,0,0,1) ~ (0,0,1) 0.0 ----- (0,0,1) 0.0 ----- (0,0,1) 0.0 |
|---|
| 394 | |
|---|
| 395 | * real/gg |
|---|
| 396 | StdLib (1,0,1,0,0,48) ~ (1,1,48) 0.0 ----- (1,1,48) 0.0 ----- (1,1,48) 0.0 |
|---|
| 397 | Parse (0,0,0,0,0,16) ~ (0,0,16) 0.0 ----- (0,0,16) 0.0 ----- (0,0,16) 0.0 |
|---|
| 398 | PSlib (4,0,4,0,0,39) ~ (4,4,39) 0.0 ----- (4,4,39) 0.0 ----- (4,4,39) 0.0 |
|---|
| 399 | GRIP (7,0,7,0,0,85) ~ (7,7,85) 0.0 ----- (7,7,85) 0.0 ----- (7,7,85) 0.0 |
|---|
| 400 | Graph (15,0,15,0,0,77) ~ (15,15,77) 0.0 ----- (15,15,77) 0.0 ----- (15,15,77) 0.0 |
|---|
| 401 | Activity (2,0,2,0,0,56) ~ (2,2,56) 0.0 ----- (2,2,56) 0.0 ----- (2,2,56) 0.0 |
|---|
| 402 | Spark (2,0,2,0,0,37) ~ (2,2,37) 0.0 ----- (2,2,37) 0.0 ----- (2,2,37) 0.0 |
|---|
| 403 | Pool (5,0,5,0,0,15) ~ (5,5,15) 0.0 ----- (5,5,15) 0.0 ----- (5,5,15) 0.0 |
|---|
| 404 | Main (0,0,0,0,0,41) ~ (0,0,41) 0.0 ----- (0,0,41) 0.0 ----- (0,0,41) 0.0 |
|---|
| 405 | |
|---|
| 406 | * real/grep |
|---|
| 407 | Parsers (0,0,0,0,0,44) ~ (0,0,44) 0.0 ----- (0,0,44) 0.0 ----- (0,0,44) 0.0 |
|---|
| 408 | Main (0,0,0,0,0,82) ~ (0,0,82) 0.0 ----- (0,0,82) 0.0 ----- (0,0,82) 0.0 |
|---|
| 409 | StringMatch (0,0,0,0,0,85) ~ (0,0,85) 0.0 ----- (0,0,85) 0.0 ----- (0,0,85) 0.0 |
|---|
| 410 | |
|---|
| 411 | * real/hpg |
|---|
| 412 | Config (0,0,0,0,0,0) ~ (0,0,0) 0.0 ----- (0,0,0) 0.0 ----- (0,0,0) 0.0 |
|---|
| 413 | Types (2,0,2,0,0,138) ~ (2,2,138) 0.0 ----- (2,2,138) 0.0 ----- (2,2,138) 0.0 |
|---|
| 414 | Env (2,0,2,0,0,17) ~ (2,2,17) 0.0 ----- (2,2,17) 0.0 ----- (2,2,17) 0.0 |
|---|
| 415 | Utils (0,0,0,0,0,5) ~ (0,0,5) 0.0 ----- (0,0,5) 0.0 ----- (0,0,5) 0.0 |
|---|
| 416 | GenVal (7,0,7,0,0,27) ~ (7,7,27) 0.0 ----- (7,7,27) 0.0 ----- (7,7,27) 0.0 |
|---|
| 417 | GenExp (25,0,25,0,0,27) ~ (25,25,27) 0.0 ----- (25,25,27) 0.0 ----- (25,25,27) 0.0 |
|---|
| 418 | GenType (6,0,6,0,0,11) ~ (6,6,11) 0.0 ----- (6,6,11) 0.0 ----- (6,6,11) 0.0 |
|---|
| 419 | Main (0,0,0,0,0,44) ~ (0,0,44) 0.0 ----- (0,0,44) 0.0 ----- (0,0,44) 0.0 |
|---|
| 420 | |
|---|
| 421 | * real/infer |
|---|
| 422 | FiniteMap (0,0,0,0,0,23) ~ (0,0,23) 0.0 ----- (0,0,23) 0.0 ----- (0,0,23) 0.0 |
|---|
| 423 | Shows (0,0,0,0,0,7) ~ (0,0,7) 0.0 ----- (0,0,7) 0.0 ----- (0,0,7) 0.0 |
|---|
| 424 | MyList (0,0,0,0,0,6) ~ (0,0,6) 0.0 ----- (0,0,6) 0.0 ----- (0,0,6) 0.0 |
|---|
| 425 | Parse (12,0,12,0,0,117) ~ (12,12,117) 0.0 WIN (6,6,117) 0.0 WIN (6,6,117) 0.0 |
|---|
| 426 | Type (0,0,0,0,0,59) ~ (0,0,59) 0.0 ----- (0,0,59) 0.0 ----- (0,0,59) 0.0 |
|---|
| 427 | Term (0,0,0,0,0,59) ~ (0,0,59) 0.0 ----- (0,0,59) 0.0 ----- (0,0,59) 0.0 |
|---|
| 428 | Environment (0,0,0,0,0,20) ~ (0,0,20) 0.0 ----- (0,0,20) 0.0 ----- (0,0,20) 0.0 |
|---|
| 429 | MaybeM (0,0,0,0,0,9) ~ (0,0,9) 0.0 ----- (0,0,9) 0.0 ----- (0,0,9) 0.0 |
|---|
| 430 | Substitution (0,0,0,0,0,23) ~ (0,0,23) 0.0 ----- (0,0,23) 0.0 ----- (0,0,23) 0.0 |
|---|
| 431 | StateX (0,0,0,0,0,3) ~ (0,0,3) 0.0 ----- (0,0,3) 0.0 ----- (0,0,3) 0.0 |
|---|
| 432 | InferMonad (2,0,2,0,0,11) ~ (2,2,11) 0.0 ----- (2,2,11) 0.0 ----- (2,2,11) 0.0 |
|---|
| 433 | Infer (0,0,0,0,0,21) ~ (0,0,21) 0.0 ----- (0,0,21) 0.0 ----- (0,0,21) 0.0 |
|---|
| 434 | Main (0,0,0,0,0,8) ~ (0,0,8) 0.0 ----- (0,0,8) 0.0 ----- (0,0,8) 0.0 |
|---|
| 435 | State (0,0,0,0,0,0) ~ (0,0,0) 0.0 ----- (0,0,0) 0.0 ----- (0,0,0) 0.0 |
|---|
| 436 | |
|---|
| 437 | * real/lift |
|---|
| 438 | Utilities (1,0,1,0,0,232) ~ (1,1,232) 0.0 ----- (1,1,232) 0.0 ----- (1,1,232) 0.0 |
|---|
| 439 | LambdaLift (3,0,3,0,0,76) ~ (3,3,76) 0.0 ----- (3,3,76) 0.0 ----- (3,3,76) 0.0 |
|---|
| 440 | Test (0,0,0,0,0,0) ~ (0,0,0) 0.0 ----- (0,0,0) 0.0 ----- (0,0,0) 0.0 |
|---|
| 441 | Print (24,0,24,0,0,48) ~ (24,24,48) 0.0 WIN (17,17,48) 0.0 WIN (17,17,48) 0.0 |
|---|
| 442 | Main (0,0,0,0,0,17) ~ (0,0,17) 0.0 ----- (0,0,17) 0.0 ----- (0,0,17) 0.0 |
|---|
| 443 | |
|---|
| 444 | * real/maillist |
|---|
| 445 | Main (3,0,3,0,0,13) ~ (3,3,13) 0.0 ----- (3,3,13) 0.0 ----- (3,3,13) 0.0 |
|---|
| 446 | |
|---|
| 447 | * real/mkhprog |
|---|
| 448 | Main (3,0,3,0,0,120) ~ (3,3,120) 0.0 WIN (1,2,120) 0.0 WIN (1,2,120) 0.0 |
|---|
| 449 | |
|---|
| 450 | * real/parser |
|---|
| 451 | Main (65,1,67,0,0,901) ~ (66,67,901) 0.0 LOSE (66,68,902) 0.0 LOSE (66,68,901) 0.0 |
|---|
| 452 | |
|---|
| 453 | * real/pic |
|---|
| 454 | Utils (39,1,40,0,0,16) ~ (40,40,16) 0.0 WIN (30,32,24) 0.0 WIN (30,32,17) 0.0 |
|---|
| 455 | PicType (0,0,0,0,0,0) ~ (0,0,0) 0.0 ----- (0,0,0) 0.0 ----- (0,0,0) 0.0 |
|---|
| 456 | Consts (1,0,1,0,0,0) ~ (1,1,0) 0.0 ----- (1,1,0) 0.0 ----- (1,1,0) 0.0 |
|---|
| 457 | ChargeDensity (9,0,9,0,0,11) ~ (9,9,11) 0.0 WIN (5,5,10) 0.0 WIN (5,6,9) 0.0 |
|---|
| 458 | ElecField (3,0,3,0,0,44) ~ (3,3,44) 0.0 ----- (3,3,44) 0.0 ----- (3,3,44) 0.0 |
|---|
| 459 | PushParticle (0,0,0,0,0,31) ~ (0,0,31) 0.0 ----- (0,0,31) 0.0 ----- (0,0,31) 0.0 |
|---|
| 460 | Potential (3,0,3,0,0,31) ~ (3,3,31) 0.0 LOSE (3,3,32) 0.0 ----- (3,3,31) 0.0 |
|---|
| 461 | Pic (8,1,9,0,0,4) ~ (9,9,4) 0.0 WIN (5,5,2) 0.0 WIN (5,5,2) 0.0 |
|---|
| 462 | Main (0,0,0,0,0,1) ~ (0,0,1) 0.0 ----- (0,0,1) 0.0 ----- (0,0,1) 0.0 |
|---|
| 463 | |
|---|
| 464 | * real/prolog |
|---|
| 465 | Parse (0,0,0,0,0,35) ~ (0,0,35) 0.0 ----- (0,0,35) 0.0 ----- (0,0,35) 0.0 |
|---|
| 466 | PrologData (1,0,1,0,0,93) ~ (1,1,93) 0.0 ----- (1,1,93) 0.0 ----- (1,1,93) 0.0 |
|---|
| 467 | Subst (0,0,0,0,0,61) ~ (0,0,61) 0.0 ----- (0,0,61) 0.0 ----- (0,0,61) 0.0 |
|---|
| 468 | Engine (4,0,4,0,0,28) ~ (4,4,28) 0.0 ----- (4,4,28) 0.0 ----- (4,4,28) 0.0 |
|---|
| 469 | Interact (1,0,1,0,0,7) ~ (1,1,7) 0.0 ----- (1,1,7) 0.0 ----- (1,1,7) 0.0 |
|---|
| 470 | Version (0,0,0,0,0,0) ~ (0,0,0) 0.0 ----- (0,0,0) 0.0 ----- (0,0,0) 0.0 |
|---|
| 471 | Main (0,0,0,0,0,33) ~ (0,0,33) 0.0 ----- (0,0,33) 0.0 ----- (0,0,33) 0.0 |
|---|
| 472 | |
|---|
| 473 | * real/reptile |
|---|
| 474 | Rational (4,0,4,0,0,17) ~ (4,4,17) 0.0 ----- (4,4,17) 0.0 ----- (4,4,17) 0.0 |
|---|
| 475 | Diff (2,0,2,0,0,2) ~ (2,2,2) 0.0 ----- (2,2,2) 0.0 ----- (2,2,2) 0.0 |
|---|
| 476 | Mgrfuns (0,0,0,0,0,16) ~ (0,0,16) 0.0 ----- (0,0,16) 0.0 ----- (0,0,16) 0.0 |
|---|
| 477 | Drawfuns (9,0,9,0,0,25) ~ (9,9,25) 0.0 WIN (8,9,25) 0.0 WIN (8,9,25) 0.0 |
|---|
| 478 | Layout (14,0,14,0,0,60) ~ (14,14,60) 0.0 ----- (14,14,60) 0.0 LOSE (15,15,60) 0.0 |
|---|
| 479 | Geomfuns (21,0,21,0,0,75) ~ (21,21,75) 0.0 WIN (17,18,75) 0.0 WIN (17,18,75) 0.0 |
|---|
| 480 | Auxprogfuns (19,0,19,0,0,82) ~ (19,19,82) 0.0 WIN (17,17,82) 0.0 WIN (15,16,82) 0.0 |
|---|
| 481 | Help (0,0,0,0,0,0) ~ (0,0,0) 0.0 ----- (0,0,0) 0.0 ----- (0,0,0) 0.0 |
|---|
| 482 | Interstate (0,0,0,0,0,1) ~ (0,0,1) 0.0 ----- (0,0,1) 0.0 ----- (0,0,1) 0.0 |
|---|
| 483 | Tilefuns (12,0,12,0,0,45) ~ (12,12,45) 0.0 ----- (12,12,45) 0.0 ----- (12,12,45) 0.0 |
|---|
| 484 | Psfuns (0,0,0,0,0,15) ~ (0,0,15) 0.0 ----- (0,0,15) 0.0 ----- (0,0,15) 0.0 |
|---|
| 485 | Progfuns (1,0,1,0,0,188) ~ (1,1,188) 0.0 ----- (1,1,188) 0.0 LOSE (1,2,188) 0.0 |
|---|
| 486 | Main (0,0,0,0,0,0) ~ (0,0,0) 0.0 ----- (0,0,0) 0.0 ----- (0,0,0) 0.0 |
|---|
| 487 | |
|---|
| 488 | * real/rsa |
|---|
| 489 | Rsa (18,6,24,0,0,81) ~ (24,24,81) 0.0 WIN (11,14,79) 0.0 WIN (11,14,79) 0.0 |
|---|
| 490 | Main (62,17,79,0,0,108) ~ (79,79,108) 0.0 WIN (54,80,66) 0.0 WIN (30,42,108) 0.0 |
|---|
| 491 | |
|---|
| 492 | * real/symalg |
|---|
| 493 | RealM (53,11,64,0,0,157) ~ (64,64,157) 0.0 WIN (49,54,142) 0.0 WIN (41,43,151) 0.0 |
|---|
| 494 | BasicNumber (3,0,3,0,0,104) ~ (3,3,104) 0.0 OK (2,4,104) 0.0 OK (2,4,104) 0.0 |
|---|
| 495 | Ast (0,0,0,0,0,0) ~ (0,0,0) 0.0 ----- (0,0,0) 0.0 ----- (0,0,0) 0.0 |
|---|
| 496 | BasicNumberApprox (6,1,7,0,0,62) ~ (7,7,62) 0.0 WIN (6,6,62) 0.0 WIN (6,6,62) 0.0 |
|---|
| 497 | Env (0,0,0,0,0,3) ~ (0,0,3) 0.0 ----- (0,0,3) 0.0 ----- (0,0,3) 0.0 |
|---|
| 498 | Eval (0,0,0,0,0,39) ~ (0,0,39) 0.0 ----- (0,0,39) 0.0 ----- (0,0,39) 0.0 |
|---|
| 499 | Lexer (0,0,0,0,0,15) ~ (0,0,15) 0.0 ----- (0,0,15) 0.0 ----- (0,0,15) 0.0 |
|---|
| 500 | Op (0,0,0,0,0,50) ~ (0,0,50) 0.0 ----- (0,0,50) 0.0 ----- (0,0,50) 0.0 |
|---|
| 501 | Parser (1,0,1,0,0,93) ~ (1,1,93) 0.0 ----- (1,1,93) 0.0 ----- (1,1,93) 0.0 |
|---|
| 502 | Print (2,0,2,0,0,19) ~ (2,2,19) 0.0 ----- (2,2,19) 0.0 ----- (2,2,19) 0.0 |
|---|
| 503 | Main (0,0,0,0,0,7) ~ (0,0,7) 0.0 ----- (0,0,7) 0.0 ----- (0,0,7) 0.0 |
|---|
| 504 | |
|---|
| 505 | * real/veritas |
|---|
| 506 | Core_datatype (0,0,0,0,0,38) ~ (0,0,38) 0.0 ----- (0,0,38) 0.0 ----- (0,0,38) 0.0 |
|---|
| 507 | Attributes (0,0,0,0,0,5) ~ (0,0,5) 0.0 ----- (0,0,5) 0.0 ----- (0,0,5) 0.0 |
|---|
| 508 | Vtslib (2,0,2,0,0,15) ~ (2,2,15) 0.0 ----- (2,2,15) 0.0 ----- (2,2,15) 0.0 |
|---|
| 509 | Sub_Core1 (11,0,11,0,0,118) ~ (11,11,118) 0.0 WIN (8,9,118) 0.0 WIN (8,9,118) 0.0 |
|---|
| 510 | Sub_Core2 (36,0,36,0,0,52) ~ (36,36,52) 0.0 WIN (30,30,52) 0.0 WIN (30,30,52) 0.0 |
|---|
| 511 | Sub_Core3 (17,0,17,0,0,82) ~ (17,17,82) 0.0 ----- (17,17,82) 0.0 ----- (17,17,82) 0.0 |
|---|
| 512 | Sub_Core4 (56,0,56,0,0,139) ~ (56,56,139) 0.0 ----- (56,56,139) 0.0 ----- (56,56,139) 0.0 |
|---|
| 513 | Dcore (6,0,6,0,0,12) ~ (6,6,12) 0.0 WIN (5,5,12) 0.0 WIN (5,5,12) 0.0 |
|---|
| 514 | Core_database (10,0,10,0,0,92) ~ (10,10,92) 0.0 ----- (10,10,92) 0.0 ----- (10,10,92) 0.0 |
|---|
| 515 | Kernel (27,0,27,0,0,349) ~ (27,27,349) 0.0 ----- (27,27,349) 0.0 ----- (27,27,349) 0.0 |
|---|
| 516 | Type_defs (0,0,0,0,0,13) ~ (0,0,13) 0.0 ----- (0,0,13) 0.0 ----- (0,0,13) 0.0 |
|---|
| 517 | Token (0,0,0,0,0,48) ~ (0,0,48) 0.0 ----- (0,0,48) 0.0 ----- (0,0,48) 0.0 |
|---|
| 518 | Unparse (4,0,4,0,0,59) ~ (4,4,59) 0.0 ----- (4,4,59) 0.0 ----- (4,4,59) 0.0 |
|---|
| 519 | Build_itrm (2,0,2,0,0,108) ~ (2,2,108) 0.0 ----- (2,2,108) 0.0 ----- (2,2,108) 0.0 |
|---|
| 520 | Build_Tm (0,0,0,0,0,62) ~ (0,0,62) 0.0 ----- (0,0,62) 0.0 ----- (0,0,62) 0.0 |
|---|
| 521 | Parse (9,0,9,0,0,464) ~ (9,9,464) 0.0 ----- (9,9,464) 0.0 ----- (9,9,464) 0.0 |
|---|
| 522 | Tags (0,0,0,0,0,36) ~ (0,0,36) 0.0 ----- (0,0,36) 0.0 ----- (0,0,36) 0.0 |
|---|
| 523 | Globals (0,0,0,0,0,0) ~ (0,0,0) 0.0 ----- (0,0,0) 0.0 ----- (0,0,0) 0.0 |
|---|
| 524 | Lookup (0,0,0,0,0,0) ~ (0,0,0) 0.0 ----- (0,0,0) 0.0 ----- (0,0,0) 0.0 |
|---|
| 525 | Edlib (0,0,0,0,0,26) ~ (0,0,26) 0.0 ----- (0,0,26) 0.0 ----- (0,0,26) 0.0 |
|---|
| 526 | X_interface (11,0,11,0,0,69) ~ (11,11,69) 0.0 ----- (11,11,69) 0.0 ----- (11,11,69) 0.0 |
|---|
| 527 | Tree (1,0,1,0,0,27) ~ (1,1,27) 0.0 ----- (1,1,27) 0.0 ----- (1,1,27) 0.0 |
|---|
| 528 | Goals (11,0,11,0,0,51) ~ (11,11,51) 0.0 WIN (6,7,51) 0.0 WIN (6,7,51) 0.0 |
|---|
| 529 | Tactics (0,0,0,0,0,31) ~ (0,0,31) 0.0 ----- (0,0,31) 0.0 ----- (0,0,31) 0.0 |
|---|
| 530 | Auto (0,0,0,0,0,9) ~ (0,0,9) 0.0 ----- (0,0,9) 0.0 ----- (0,0,9) 0.0 |
|---|
| 531 | DerivedRules (4,0,4,0,0,32) ~ (4,4,32) 0.0 ----- (4,4,32) 0.0 ----- (4,4,32) 0.0 |
|---|
| 532 | Display (0,0,0,0,0,68) ~ (0,0,68) 0.0 ----- (0,0,68) 0.0 ----- (0,0,68) 0.0 |
|---|
| 533 | Editor (0,0,0,0,0,11) ~ (0,0,11) 0.0 ----- (0,0,11) 0.0 ----- (0,0,11) 0.0 |
|---|
| 534 | Getops (0,0,0,0,0,21) ~ (0,0,21) 0.0 ----- (0,0,21) 0.0 ----- (0,0,21) 0.0 |
|---|
| 535 | Tacticals (2,0,2,0,0,12) ~ (2,2,12) 0.0 WIN (1,1,12) 0.0 WIN (1,1,12) 0.0 |
|---|
| 536 | ThmTactics (21,0,21,0,0,217) ~ (21,21,217) 0.0 ----- (21,21,217) 0.0 ----- (21,21,217) 0.0 |
|---|
| 537 | Main (0,0,0,0,0,16) ~ (0,0,16) 0.0 ----- (0,0,16) 0.0 ----- (0,0,16) 0.0 |
|---|
| 538 | |
|---|
| 539 | |
|---|
| 540 | |
|---|
| 541 | TOTAL (2373,85,2478,0,0,22325) ~ (2458,2478,22325) 0.0 WIN (2056,2219,22299) 0.0 WIN (2013,2187,22317) 0.0 |
|---|