| Machine |
Model |
Threads |
Notes |
| ainia |
Avantek Ampere(TM) Mt Snow |
80 |
Cluster worker + Arthur has a login for ARM benchmarking. 8 cores isolated |
| armyofdockerness |
|
|
Powered off |
| asteria |
Dell PowerEdge R6525 |
256 |
Cluster worker |
| autumn |
Super Server |
8 |
Benchmarking team. Current-bench and OCaml benchmarking projects. |
| bremusa |
Dell PowerEdge R630 |
72 |
Benchmarking. /dev/sdb is unused |
| carpenter |
SiFive U74-MC |
4 |
|
| clete |
Dell PowerEdge R630 |
72 |
Cluster worker |
| comanche |
PowerEdge R7425 |
128 |
Irmin Team |
| dev2 |
VM |
|
Naomi/Jan |
| doc |
Dell PowerEdge R210 II |
4 |
BIND, netbootxyz and teleport |
| dopey |
PowerEdge R210 II |
8 |
Console ports for mini-itx |
| doris |
Dell PowerEdge R6525 |
256 |
Cluster worker |
| eumache |
Dell PowerEdge R630 |
72 |
docs.ci.ocaml.org and docs-data.ocaml.org |
| grumpy |
PowerEdge R210 II |
4 |
Git Repo |
| happy |
|
|
Router |
| hopi |
Dell PowerEdge R7425 |
128 |
OCaml on Windows Desktops |
| iphito |
Dell PowerEdge R6525 |
256 |
Cluster worker |
| kydoime |
Avantek Ampere(TM) Mt Snow |
80 |
Cluster worker |
| laodoke |
Dell PowerEdge R630 |
72 |
Cluster worker |
| leafcutter |
SiFive U74-MC |
4 |
|
| marpe |
Dell PowerEdge R6525 |
256 |
Cluster worker |
| michael |
Dell PowerEdge R420 |
24 |
OCaml on Windows benchmarking (@eutro) |
| molpadia |
Avantek Ampere(TM) Mt Snow |
80 |
Cluster worker |
| navajo |
Dell PowerEdge R7425 |
128 |
Benchmark Tooling Team. Sandmark benchmarking. |
| odawa |
Dell PowerEdge R6525 |
256 |
Windows Base Image Builder |
| okypous |
Avantek Ampere(TM) Mt Snow |
80 |
Cluster worker |
| orithia |
Raptor Talos II |
176 |
Cluster worker |
| phoebe |
Dell PowerEdge R630 |
72 |
Cluster worker |
| raphael |
|
12 |
Powered off - serious hardware fault |
| roo |
SuperMicro h8qg6/h8qgi |
48 |
Benchmarking -- fermat.ocamllabs.io -- parallel benchmarks |
| scyleia |
Raptor Talos II |
176 |
Cluster worker |
| sleepy |
Dell PowerEdge R210 II |
4 |
Doesn't appear to be doing anything |
| spring |
Super Server |
8 |
FreeBSD worker + some user data in /home (check) |
| summer |
Super Server |
16 |
FreeBSD worker + some user data in /home (check) |
| tigger |
SuperMicro h8qg6/h8qgi |
48 |
Powered off. Frequent reboots due to watchdog timer events. |
| toxis |
Dell PowerEdge R630 |
72 |
ci.ocamllabs.io. /dev/sdb is unused |
| winter |
Super Server |
16 |
General purpose machine, typically for benchmarking by compiler developers. Primary users nickbarnes, polytypic, fabrice, sadiq, shakthi |