#!/usr/bin/perl

use Benchmark;

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

#print @args;

$t0 = new Benchmark;

system @args;

$t1 = new Benchmark;
$td = timediff($t1, $t0);

$inst =~ /.*\/(.*)\.tsp\.gz/;
$instname = $1;
print "$inst & ",timestr($td),"\n";