#!/usr/bin/perl

use Benchmark;

$inst = shift @ARGV;
$fromtsp = shift @ARGV;
$prog = shift @ARGV;
$out = shift @ARGV;

$timeout = 12;
$timeout = 180 if ($inst =~ /.*pla\d+.tsp.gz/);
$timeout = 60 if ($inst =~ /.*rl\d+.tsp.gz/);
$timeout = 180 if ($inst =~ /.*pla\d+.tsp.gz/);

print "$timeout\n";

@args = ("timed-run",$timeout,"./bench.pl",$inst,$fromtsp,$prog,$out);

system @args;