Introduction

We tested all 2795 TRSs of TPDB 8.0 using AProVE with two strategies that are similar to the ones which have been used during the termination competition 2010.

• no_semlab is like the competition strategy, but where semantic labeling has been removed.
• with_semlab is like the competition strategy, but where semantic labeling has been extended. (the competition strategy did not use quasi-models, but with_semlab does.)

All experiments have been performed on a machine with two 2.8 GHz Quad-Core Intel Xeon processors and 6 GB of main memory.

In the result table one can click on the execution times to see the proofs and answers of CeTA (version 1.17).