From 9b2c4a2dd9f7e35e9764f2629f6068b5c097c09c Mon Sep 17 00:00:00 2001
From: Jean-Marie Mineau <jean-marie.mineau@inria.fr>
Date: Wed, 21 May 2025 12:56:22 +0200
Subject: [PATCH] use only 16 emu, ppb safer (default max)

---
 experiment/orchestrator.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/experiment/orchestrator.py b/experiment/orchestrator.py
index 1fea458..4236d45 100644
--- a/experiment/orchestrator.py
+++ b/experiment/orchestrator.py
@@ -9,7 +9,7 @@ import threading
 import argparse
 import queue
 
-EMULATORS = [f"root34-{i}" for i in range(20)]
+EMULATORS = [f"root34-{i}" for i in range(16)]
 ANDROID_IMG = "system-images;android-34;default;x86_64"
 TIMEOUT = 400