if (isset($_GET['army1']) && isset($_GET['army2']) && is_numeric($_GET['army1']) && is_numeric($_GET['army2'])) {
$battle = new battle(array($_GET['army1'], $_GET['army2']));
//start battle
$time_end = microtime(true);
$execution_time = (int) (($time_end - $time_start) * 1000);
?>
<div id="score">
<p class="title">
Army<?php
echo $battle->winner();
?>
won
</p>
<p class="text">
<?php
echo $battle->winnerCount();
?>
warriors survived
</p>
<p class="text">
The battle lasted for <?php
echo $execution_time;
?>
milliseconds
</p>
</div>
<form id="retry">
<label>Army1: </label>
<input name="army1" placeholder="number of warriors" value="<?php
if (isset($_GET['army1'])) {
echo $_GET['army1'];
