<?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());