Personal tools
You are here: Home Downloads Simplify Prover Benchmarks
Document Actions

Simplify Prover Benchmarks

This directory contains two test suites for automatic theoreom provers. The first test suite, in the subdirectory front_end_suite, consists of 207 files containing 2331 valid verification conditions. The second test suite, in the subdirectory small_suite, consists of 18 files each containing a single valid conjecture. The format of these files is described in the file format.txt.

Click here to get the file

Size 8.6 MB - File type application/x-tar
by shankar last modified 2007-01-31 15:37
Contributors: David Detlefs, Greg Nelson, and Jim Saxe
« November 2009 »
Su Mo Tu We Th Fr Sa
1 2 3 4 5 6 7
8 9 10 11 12 13 14
15 16 17 18 19 20 21
22 23 24 25 26 27 28
29 30
What's up ?
Be notified when a document is published in this folder or below.
 

Powered by Plone, the Open Source Content Management System

This site conforms to the following standards: