[SMT-COMP] SMT-COMP 2015: All Jobs Complete
Matthias Heizmann
heizmann at informatik.uni-freiburg.de
Wed Jun 24 10:30:55 EDT 2015
Hi Tjark,
is there also a website for the application track?
The missing application track results on the website leave the impression that
we consider the application track as a "second class track".
However, since I am developing a tool that intensively communicates with SMT
solvers, the application track results are the most interesting results for
me.
Best,
Matthias
On Tuesday 23 June 2015 00:48:53 Tjark Weber wrote:
> Dear SMT-COMP participants,
>
> On Sunday morning, StarExec completed the last competition job. All
> divisions (including application track divisions) are complete now.
>
> It took StarExec less than 5 days to run through the entire competition
> workload of 1,028,597 job pairs. On average, the cluster completed over
> 9000 job pairs/hour during this time.
>
> Preliminary main track results are available on the SMT-COMP web site:
> http://smtcomp.sourceforge.net/2015/results-toc.shtml
>
> Detailed job data is available on StarExec:
> Main track
> https://www.starexec.org/starexec/secure/explore/spaces.jsp?id=88435
> Application track
> https://www.starexec.org/starexec/secure/explore/spaces.jsp?id=94314
>
> Please keep in mind that all results are preliminary at this point. We
> will be scrutinizing the data for errors, and may re-run individual
> divisions, e.g., if there were bugs in the competition tools. If you
> happen to spot any irregularities in the data, please tell us about
> them!
>
> Best,
> Tjark
>
>
> _______________________________________________
> SMT-COMP mailing list
> SMT-COMP at cs.nyu.edu
> http://cs.nyu.edu/mailman/listinfo/smt-comp
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 819 bytes
Desc: This is a digitally signed message part.
URL: </pipermail/smt-comp/attachments/20150624/6946b7e3/attachment.asc>
More information about the SMT-COMP
mailing list