<?php
Condorcet::format($result);
?>
</pre>
<em style="color:green;">computed in <?php
echo $lastTimer;
?>
second(s).</em>
<?php
}
?>
<br><br><hr><br>
<strong style="color:green;">Total computed in <?php
echo $election->getGlobalTimer();
?>
second(s).</strong>
<br>
<?php
var_dump($election->getTimerManager()->getHistory());
?>
<br><br><hr>
<h2>Computing statistics :</h2>
<h3>Pairwise :</h3>
<pre>
<?php
Condorcet::format($election->getPairwise());
