Michael
| IP Address | |
|---|---|
| Manufacturer | Dell |
| Model | PowerEdge R420 |
| Serial | GG8TC5J |
| OS | |
| Processor | Intel(R) Xeon(R) CPU E5-2420 0 @ 1.90GHz |
| Total Threads | 24 |
| Memory | |
| Disks |
|
| Location | Caelum |
OCaml on Windows benchmarking (@eutro)
| IP Address | |
|---|---|
| Manufacturer | Dell |
| Model | PowerEdge R420 |
| Serial | GG8TC5J |
| OS | |
| Processor | Intel(R) Xeon(R) CPU E5-2420 0 @ 1.90GHz |
| Total Threads | 24 |
| Memory | |
| Disks |
|
| Location | Caelum |
OCaml on Windows benchmarking (@eutro)