[SMT-COMP] [smt-lib] New official release of SMT-LIB benchmark library

[Dejan Jovanovic]

Hi Clark, 

I’m having trouble checking out the benchmarks:

$ git clone https://clc-gitlab.cs.uiowa.edu:2443/SMT-LIB-benchmarks/QF_NRA.git
Cloning into 'QF_NRA'...
fatal: unable to access 'https://clc-gitlab.cs.uiowa.edu:2443/SMT-LIB-benchmarks/QF_NRA.git/': server certificate verification failed. CAfile: /etc/ssl/certs/ca-certificates.crt CRLfile: none

The problem is with the server certificate. I can bypass the certificate checking but it would be better to fix this on Iowa side if possible.

Best, Dejan

> On May 20, 2018, at 12:02 PM, Clark Barrett <barrett at cs.stanford.edu> wrote:
> 
> A new release of the SMT-LIB benchmark library (2018-05-20) is now available, both on the GitLab <https://na01.safelinks.protection.outlook.com/?url=https%3A%2F%2Fclc-gitlab.cs.uiowa.edu%3A2443%2Fexplore%2Fgroups&data=01%7C01%7Cdejan.jovanovic%40sri.com%7Cab65c259f67e4756538208d5be6b29db%7C40779d3379c44626b8bf140c4d5e9075%7C1&sdata=UttU%2FwCFXE%2FacGwsfeQr2c98q5A0e8Qkrbr8h5tdpOY%3D&reserved=0> server and on StarExec <https://na01.safelinks.protection.outlook.com/?url=https%3A%2F%2Fwww.starexec.org%2Fstarexec%2Fsecure%2Fexplore%2Fspaces.jsp%3Fid%3D234826&data=01%7C01%7Cdejan.jovanovic%40sri.com%7Cab65c259f67e4756538208d5be6b29db%7C40779d3379c44626b8bf140c4d5e9075%7C1&sdata=HNCCS8M%2B%2F08%2Bku%2FHcpWcDrK7SCFfP8jBfX2iXdfzEBk%3D&reserved=0>. For this release we have:
> Fixed minor errors in formatting
> Removed duplicate benchmarks
> Updated statuses of 18,739 previously unknown non-incremental benchmarks (based on the results from 2 or more solvers from SMT-COMP'17)
> Updated 232,167 statuses of previously unknown incremental check-sat calls (based on the results from 2 or more solvers from SMT-COMP'17)
> Added 3121 new benchmarks in new logics:
> non-incremental: AUFNIA (3)
> incremental: QF_ABV (15), QF_AUFBV (10), QF_UF (766), QF_UFBV (2327)
> Added 7969 new benchmarks in existing logics:
> non-incremental: AUFLIA (3272), BV (600), NRA (2), QF_ABV (5), QF_AUFLIA (294), QF_BV (67), QF_LIA (806), QF_NRA (135), QF_UF (807), QF_UFBV (1193)
> incremental: QF_BV (787), QF_LIA (1)
> For details on the changes to SMT-LIB, please check the git logs at:
> https://clc-gitlab.cs.uiowa.edu:2443/SMT-LIB-benchmarks <https://na01.safelinks.protection.outlook.com/?url=https%3A%2F%2Fclc-gitlab.cs.uiowa.edu%3A2443%2FSMT-LIB-benchmarks&data=01%7C01%7Cdejan.jovanovic%40sri.com%7Cab65c259f67e4756538208d5be6b29db%7C40779d3379c44626b8bf140c4d5e9075%7C1&sdata=0UplFbVxxbjYDbNV%2BAx9m00rld7OGKy%2BKI41Od6hEYc%3D&reserved=0> and
> https://clc-gitlab.cs.uiowa.edu:2443/SMT-LIB-benchmarks-inc <https://na01.safelinks.protection.outlook.com/?url=https%3A%2F%2Fclc-gitlab.cs.uiowa.edu%3A2443%2FSMT-LIB-benchmarks-inc&data=01%7C01%7Cdejan.jovanovic%40sri.com%7Cab65c259f67e4756538208d5be6b29db%7C40779d3379c44626b8bf140c4d5e9075%7C1&sdata=ecgaj6J1yXrnZmYMVmZ08hIDzgIUAsAnxz%2BkveiYLuo%3D&reserved=0>
> 
> The SMT-LIB coordinators
> 
> -- 
> You received this message because you are subscribed to the Google Groups "SMT-LIB" group.
> To unsubscribe from this group and stop receiving emails from it, send an email to smt-lib+unsubscribe at googlegroups.com <mailto:smt-lib+unsubscribe at googlegroups.com>.
> To post to this group, send email to smt-lib at googlegroups.com <mailto:smt-lib at googlegroups.com>.
> To view this discussion on the web visit https://groups.google.com/d/msgid/smt-lib/CAFOm5sRRVoCkdh9WNnFy7N-m9OTUKkncru-a56AWvfq%3Ds58QeQ%40mail.gmail.com <https://na01.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgroups.google.com%2Fd%2Fmsgid%2Fsmt-lib%2FCAFOm5sRRVoCkdh9WNnFy7N-m9OTUKkncru-a56AWvfq%253Ds58QeQ%2540mail.gmail.com%3Futm_medium%3Demail%26utm_source%3Dfooter&data=01%7C01%7Cdejan.jovanovic%40sri.com%7Cab65c259f67e4756538208d5be6b29db%7C40779d3379c44626b8bf140c4d5e9075%7C1&sdata=0U8quxNr3kbIiNs7k7%2F57SZKnBVVX3Zvk4ICdgcsBNY%3D&reserved=0>.
> For more options, visit https://groups.google.com/d/optout <https://na01.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgroups.google.com%2Fd%2Foptout&data=01%7C01%7Cdejan.jovanovic%40sri.com%7Cab65c259f67e4756538208d5be6b29db%7C40779d3379c44626b8bf140c4d5e9075%7C1&sdata=6XaRCUIwjHgJsVavubyb276vIm%2B%2BhcdTRlHWuKJHrkQ%3D&reserved=0>.

-------------- next part --------------
A non-text attachment was scrubbed...
Name: smime.p7s
Type: application/pkcs7-signature
Size: 3933 bytes
Desc: not available
URL: </pipermail/smt-comp/attachments/20180521/bf5daeaa/attachment.p7s>