Lab for Automated Reasoning and Analysis LARA

Differences

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

Link to this comparison view

cvc4-synthesis [2015/12/02 10:56]
reynolds
cvc4-synthesis [2015/12/02 11:04] (current)
reynolds
Line 50: Line 50:
  
  
-Our evaluation used the StarExec cluster for evaluation https://​www.starexec.org. The jobs we ran in our evaluation are publicly available, and can be accessed by logging into StarExec as a guest (click "​Guest"​ at the bottom of the log in page). The links to the individual jobs are:+Our evaluation used the StarExec cluster for evaluation https://​www.starexec.org. The jobs we ran in our evaluation are publicly available, and can be accessed by logging into StarExec as a guest (click "​Guest"​ at the bottom of the log in page). The links to the individual jobs are below, which include additional configurations not mention in this paper.
  
-For all three configurations of CVC4: +For all solvers, except the latest version of CVC4, on benchmarks with syntactic restrictions:​ 
 + 
 +https://​www.starexec.org/​starexec/​secure/​details/​job.jsp?​id=10526 
 + 
 +For all configurations of CVC4 on benchmarks with syntactic restrictions:​ 
 + 
 +https://​www.starexec.org/​starexec/​secure/​details/​job.jsp?​id=10575 
 + 
 +For all solvers on the max family of benchmarks:​ 
 + 
 +https://​www.starexec.org/​starexec/​secure/​details/​job.jsp?​id=11076 
 + 
 +For all solvers, except the latest version of CVC4, on benchmarks without syntactic restrictions:​ 
 + 
 +https://​www.starexec.org/​starexec/​secure/​details/​job.jsp?​id=10556 
 + 
 +For CVC4 on benchmarks without syntactic restrictions:​ 
 + 
 +https://​www.starexec.org/​starexec/​secure/​details/​job.jsp?​id=10597
  
-https://​www.starexec.org/​starexec/​secure/​details/​job.jsp?​id=6561 
 
cvc4-synthesis.txt · Last modified: 2015/12/02 11:04 by reynolds