Testcases
bundled in
etc5
106 tests (including the 71 OWL tests)
802 documents are loaded from 4 sites (W3C, ILRT, RPI, AGFA)
116 engines involved and taking 1.2 Msteps
8 testcases with "no proof found"
results in
etc5-proof
Jos De Roo
4 of 5