@echo off
title KB

start "KB" /D"./SISv2_1/testbed/SBSKB" java SBSKB 127.0.0.1
start "Verifier" /D"./SISv2_1/testbed/Verifier" java Verifier 127.0.0.1
start "Eliminator" /D"./SISv2_1/testbed/Eliminator" java Eliminator 127.0.0.1