StarExec
Would you like to react to this message? Create an account in a few clicks or log in to continue.
StarExec

This is a forum for discussing the StarExec solver execution service, at starexec.org.


Increase Benchmark Quota for SAT

2 posters

StarExec :: Feature Requests

Go down

Increase Benchmark Quota for SAT Empty Increase Benchmark Quota for SAT

Post by jliang Wed Mar 04, 2015 8:32 pm

The yearly SAT competitions (satcompetition.org) provide the defacto benchmarks for the SAT community. However, the full benchmark for 2014 (Application+Hard Combinatorial+Random) takes up about 10GB of space uncompressed which exceeds the 1GB benchmark quota.

Would it be possible to increase the quota for SAT users to accomodate the SAT competition benchmark? Or better yet, have the full benchmark uploaded once and have it readonly and visible for everyone?

jliang

Posts : 2
Join date : 2015-03-04

Back to top Go down

Increase Benchmark Quota for SAT Empty Re: Increase Benchmark Quota for SAT

Post by Admin Mon Mar 09, 2015 10:31 am

Sorry I missed this post. We are discussing now on email, so I'll let that suffice.
Aaron

Admin
Admin

Posts : 162
Join date : 2014-04-22

http://www.cs.uiowa.edu/~astump/

Back to top Go down

Increase Benchmark Quota for SAT Empty Re: Increase Benchmark Quota for SAT

Post by jliang Wed Mar 11, 2015 8:16 pm

Thank you very much for your help! Much appreciated.

jliang

Posts : 2
Join date : 2015-03-04

Back to top Go down

Increase Benchmark Quota for SAT Empty Re: Increase Benchmark Quota for SAT

Post by Sponsored content


Sponsored content


Back to top Go down

Back to top

- Similar topics

StarExec :: Feature Requests

 
Permissions in this forum:
You cannot reply to topics in this forum