Lab for Automated Reasoning and Analysis LARA

Non-Recursive Horn Benchmarks

Horn Clause Type Number of Benchmarks Download
General 541 general.zip 1.6 MB
Head-Disjoint 991 headdisjoint.zip 2.5 MB
Linear 971 linear.zip 2.6 MB
Linear Tree-like 1993 linear-tree-like.zip 4.6 MB
 
horn-nonrec-benchmarks.txt · Last modified: 2013/03/06 15:49 by hossein