| Current Path : /usr/home/beeson/public_html/michaelbeeson/research/FormalTarski/Tools/ |
| Current File : /usr/home/beeson/public_html/michaelbeeson/research/FormalTarski/Tools/TabulateResults.php.txt |
#!/usr/bin/php
<?php
require_once("TarskiTheorems.php");
require_once("GenerateInputFiles.php");
require_once("FinalResults.php");
$total = $count = 0;
foreach($TarskiTheorems as $t)
{ $r = $TarskiFinalResults[$t->name];
if(is_numeric($r))
++$count;
++$total;
}
$percent = 100 * ((float) $count) / $total;
echo "Proved mechanically $count out of $total, which is $percent percent\n";
?>