launch_servers yooda server1 server2 server3 sleep 5 connect local create 10 20 verify_all modify modify verify_all commit modify abort verify_all modify commit modify verify_all commit disconnect stop_servers