diogo/yap-6.3
Archived
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Added pta benchmark.

Browse Source 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1819 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
This commit is contained in:
kostis 2007-03-10 09:04:55 +00:00
parent abb8209bd4
commit b320589051
4 changed files with 16395 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
docs/index/Benchmarks/.cvsignore Normal file
View File

@ -0,0 +1 @@
*.O

2
docs/index/Benchmarks/go_xxx
View File

@ -9,7 +9,7 @@ if test $# -eq 1; then
else
testfiles="tc_l_io_chain8000.P tc_r_io_chain2000.P tc_d_io_chain400.P \
tc_l_oo_chain2000.P tc_r_oo_chain2000.P tc_d_oo_chain400.P \
compress.P sg_cyl.P mutagenesis.P"
compress.P sg_cyl.P pta.P mutagenesis.P"
fi
echo "========================================"

4
docs/index/Benchmarks/go_yap
View File

@ -7,7 +7,7 @@ if test $# -eq 1; then
else
testfiles="tc_l_io_chain8000.P tc_r_io_chain2000.P tc_d_io_chain400.P \
tc_l_oo_chain2000.P tc_r_oo_chain2000.P tc_d_oo_chain400.P \
compress.P sg_cyl.P mutagenesis.P"
compress.P sg_cyl.P pta.P mutagenesis.P"
fi
echo "========================================"
@ -23,7 +23,7 @@ for file in $testfiles ; do
EOF
printf " \t"
$XXX << EOF 2>/dev/null
yap_flag(index,single).
set_prolog_flag(index,single).
yap_flag(tabling_mode,local).
['$file'].
time.

16391
docs/index/Benchmarks/pta.P Normal file
View File

File diff suppressed because it is too large Load Diff