Select Code to Download

sub run_with_timeout {
    my ($cmd, $timeout) = @_;
...

my $out = run_with_timeout("$solver $file", $timeout);
print defined($out) ? "output of solver:\n@$out" : "timed out";

        exec "exec $cmd";