Lab for Automated Reasoning and Analysis LARA

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

horn-nonrec-benchmarks [2013/03/06 15:44]
hossein
horn-nonrec-benchmarks [2013/03/06 15:49] (current)
hossein
Line 5: Line 5:
  
 ^ Horn Clause Type  ^ Number of Benchmarks ^ Download ^ ^ Horn Clause Type  ^ Number of Benchmarks ^ Download ^
-| General ​         | 541 | {{general.zip|}} 1.6 MB | +| General ​         | 541  | {{general.zip|}} 1.6 MB | 
-| Head-Disjoint ​   | {} | {} | +| Head-Disjoint ​   | 991  ​| {{headdisjoint.zip|}} 2.5 MB 
-| Linear ​          ​| ​{} | {} | +| Linear ​          ​| ​971  ​| {{linear.zip|}} 2.6 MB
-| Linear Tree-like | {} | {} |+| Linear Tree-like | 1993 | {{linear-tree-like.zip|}} 4.6 MB |
 
horn-nonrec-benchmarks.txt · Last modified: 2013/03/06 15:49 by hossein
 
© EPFL 2018 - Legal notice