This page contains supplementary material for the article “A Curiously Effective Backtracking Strategy for Connection Tableaux” submitted to AReCCa 2023.

Implementation

The source code for the meanCoP prover is available at https://github.com/01mf02/cop-rs.

Evaluation

Instructions to run the evaluation of meanCoP can be found in the eval directory of cop-rs.

The raw output of the evaluation is divided into several files for:

• Standard output (*.p).
• Runtime information (*.p.time).
• Inference statistics (*.p.stats).
• Proofs (*.p.o).

The sets of problems solved by the various meanCoP configurations are here.