for (Example example : Vis.getExamples(file)) {
final List<Derivation> beam = example.getPredDerivations();
beamSize = Math.max(beamSize, beam.size());
for (int i = 0; i < beam.size(); i++)
if (beam.get(i).getCompatibility() == 1.0d)
correctPoints.add(new IntTriple(iter, e, i));
if (iter == 0) {
exampleMetadata.add(
String.format(
"%d %d %s",
beam.size(),