add time tracking

This commit is contained in:
matthias@arch 2023-12-09 13:54:05 +01:00
parent 6e7eac63a7
commit e21d20c569

View File

@ -1,5 +1,7 @@
<h1>DER BIMMLER</h2> <h1>DER BIMMLER</h2>
<?php <?php
$time_start = microtime(true);
function move_number_closer(&$headn, &$tailn) { function move_number_closer(&$headn, &$tailn) {
$distance = $headn - $tailn; $distance = $headn - $tailn;
if (abs($distance) > 1) { if (abs($distance) > 1) {
@ -100,6 +102,9 @@ for ($i = 0; $i < count($head_movements); $i++) {
/* display($current_positions[0], $current_positions[$last_tail]); */ /* display($current_positions[0], $current_positions[$last_tail]); */
} }
} }
print_r($visited_positions); /* print_r($visited_positions); */
print("Total number of positions=".array_sum($visited_positions)); print("Total number of positions=".array_sum($visited_positions));
print("Number of unique visited positions=".count($visited_positions)); print("Number of unique visited positions=".count($visited_positions));
// Anywhere else in the script
echo 'Total execution time: ' . (microtime(true) - $time_start);