Benchmarks and Applications

 

Some of the benchmarks that were used to evaluate ARIO is listed here. ARIO was also modified specifically for a number of applications, that are described in this page.

 

Wisconsin Safety Analyzer (WiSA) benchmarks (logic: QF_UFLIA) thanks to Vinod Ganapathy
 
WiSA benchmarks - SMT format
 

Job-Shop Scheduling Problem (JSSP) benchmarks la01-la40 (logic: QF_RDL)

Source: S. Lawrence (1984), Resource constrained project scheduling: an experimental investigation of heuristic scheduling techniques (Supplement), Graduate School of Industrial Administration, Carnegie-Mellon University, Pittsburgh, Pennsylvania.
 
laJSSP benchmarks - SMT format
 

Simple Temporal Problem with Preferences (STPP) benchmarks (logic: QF_RDL with optimization)

 
STPP benchmarks - SMT format
STPP benchmarks - CPLEX LP format
 
For more information, please contact ARIO administrator, Ahura at: ahura@umich.edu

last updated: 10 July 2005 by Hossein Sheini