#!/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);
timestr($td,'nop') =~ /.*\s+=\s+(\d+.\d+)\s+CPU/;
$tcpu = $1;
$tcpu *= 4;
print "$inst  $tcpu\n";