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 |
|
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 |