Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. proper slice duration (i.e., 5 s) for new Vampire portfolio following 5a14f2cc1ea0
Changeset 78789:f2e845c3e65c by desharna:
proper slice duration (i.e., 5 s) for new Vampire portfolio following 5a14f2cc1ea0
The file was modified src/HOL/Tools/Sledgehammer/sledgehammer_atp_systems.ML (diff)