100644 blob 57e74b03f9ca733ff8a35ab8b155a36f036cbb6a	.gitignore
100644 blob 2f3b70ea2c0b239c0c4dd1c15b0ad76c5d5a0e1f	Makefile
100644 blob a4909627304ca55912115b4c79102d4f460ccca6	bench_util.pl
040000 tree f873ba62c3c14a197e8d7c5bfbb59486fab5a742	brahme
040000 tree 3725d5be734b3c905d6328dc2d8707436f68219b	dobry
040000 tree a38367bac40ef76bd3114edeb52d60c2c1a4eb1f	ecrc
040000 tree f06c39c45b78ac409c0ba73a372df8f408673716	holmer
040000 tree b9c73404c119d27d8a8393100a8a467c87982a3f	minerva
040000 tree 7f5067c3b4df06406fffda036aae8b9e743c8d08	pereira
040000 tree dbcdc56a0e6493bd9520ca5093bf15f9a16e557e	portland
040000 tree 21e2ffd8c79bfdd23aa61bcab6f3fb89e193e7a2	quintus
040000 tree 2a48ba74fe5351e8f62f0b2788ccccf2a76ab88e	src
040000 tree 634c203f8a874be09c09451782aacc8367e23484	xprolog