#!/usr/bin/perl

use Benchmark;

$inst = shift @ARGV;
$fromtsp = shift @ARGV;
$prog = shift @ARGV;
$out = shift @ARGV;
@args = ("/bin/bash","./runinst",$inst,$fromtsp,$prog,$out);

#print @args;

$t0 = new Benchmark;

system @args;

$t1 = new Benchmark;
$td = timediff($t1, $t0);
print "$inst & ",timestr($td,'nop'),"\n";