exm1: timeout 1s dune exec exm_ball | \ feedgnuplot --stream --domain --lines balld: timeout 1s dune exec exm_ball | \ feedgnuplot --stream --domain --lines exm2: timeout 10s dune exec exm_sincos | \ feedgnuplot --stream --domain --lines sincos: timeout 10s dune exec exm_sincos | \ feedgnuplot --stream --domain --lines exm3: dune exec ballc.exe | \ feedgnuplot --stream --domain --lines ballc: dune exec ballc.exe | \ feedgnuplot --stream --domain --lines