Testcases

bundled in etc5
108 testcases (including the 71 OWL tests)
814 documents are loaded from 4 sites (W3C, ILRT, RPI, AGFA)
218 engines involved and taking 1.1 Msteps
7 testcases with "no proof found"
results in etc5-proof