grader.php

<?php

$task = $argv[1];
$num = intval($argv[2]);
$code = escapeshellarg($argv[3]);

@unlink ('/tmp/ao');
$cc = 'gcc';
`$cc -lm $code -o /tmp/ao`;

function s($a) {
	$a = str_replace("\r\n", "\n", $a);
	$a = str_replace("\r", "\n", $a);
	return trim($a);
}

$xx = '';

for ($i = 1; $i <= $num; $i ++) {
	$start = microtime(true);
	$out = `cat $task/$i.in | /tmp/ao`;
	$end = microtime(true);
	$check = file_get_contents($task . '/' . $i . '.sol');
	if ($end - $start > 0.2) {
		echo 'T';
	} else if (s($out) != s($check)) {
		echo '-';
	} else {
		echo 'P';
	}
	$xx .= "\nTestcase #$i, time usage: " . sprintf("%5.3f", $end - $start);
}
echo "\n$xx\n\n";

?>