Below is a collection of sample problems and corresponding ProverBox specification files. You can download them and use the ProverBox to find the answers to the puzzles.

Those problems are originally from the TPTP Problem Library and have been manually converted to the ProverBox.

Sample Problems:

• The Mislabeled Boxes
  
  
• Schubert's Steamroller
  
  
• The Jobs Puzzle