Lab for Automated Reasoning and Analysis LARA

Differences

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

Link to this comparison view

Both sides previous revision Previous revision
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
 
© EPFL 2018 - Legal notice