Intel Benchmarks

"; echo "In the model checking competition HWMCC'08 we used 60 benchmarks "; echo "contributed by Intel. If you are an academic user and not affiliated "; echo "to an EDA company you can obtain these benchmarks by entering your "; echo "email address below."; echo "

"; echo "
"; echo "Enter Mail: "; echo "
"; echo "

"; echo "If you are not an academic user or affiliated to an EDA company, you "; echo "are not allowed to use these benchmarks unless you get written "; echo "permission from "; echo "Zurab Khasidashvili."; echo "

"; echo "

"; echo "Due to a glitch in our numbering scheme benchmark intel008.aig "; echo "does not exist."; echo "

"; } else { $mailaddr = $_POST['mailaddr']; $betreff = "HWMCC'08 Intel Benchmarks"; $fname = "99cddce4650385f313102a42b3d6536c/7f1efc66b91ade2fb2e15f3dcd2c1d21"; $text = "In the model checking competition HWMCC'08 we used 60 benchmarks contributed by Intel. If you are an academic user and not affiliated to an EDA company then you can download them from http://fmv.jku.at/hwmcc/99cddce4650385f313102a42b3d6536c/hwmcc08intel.tar.bz2 You are not allowed to distribute the benchmarks further. If you are not an academic user or affiliated to an EDA company, you are not allowed to use these benchmarks unless you get written permission from Zurab Khasidashvili ."; if (mail($mailaddr, $betreff, "$text", "From: hwmcc@jku.at")){ echo "

Mail sent successfully

"; if (is_writable($fname)) { if (($handle = fopen($fname, "a")) === FALSE){ echo "

Could not open file!

"; } else { $mailaddr = $mailaddr . "\n"; if (!fwrite ($handle, $mailaddr)) { echo "

Could not write file!

"; } } fclose ($handle); } else { echo "

File is not writable!

"; } } else { echo "

Could not send mail!

"; } } ?>