SAT@Home february challenge 17th - 24th FEB

hanluc · 3 Feb 2016 at 08:59

SAT@Home February challenge
http://boincstats.com/en/stats/challenge/team/chat/747

Starts: 17/02/2016 - 16:45 UTC
Ends: 24/02/2016 - 16:45 UTC

Thought this would be a good one for us to enter, with regards to FB & DCVault and as well as just being fun

Project: http://sat.isa.ru/pdsat/

ozaudio · 3 Feb 2016 at 09:17

cpu only, hopefully Ba gets his new supercomputer sorted before hand and will dominate if he takes interest!

MGP · 3 Feb 2016 at 09:55

I have no idea what this project is trying to achieve, and their website makes no sense at all. :confused:

andy_taximan · 3 Feb 2016 at 12:13

MGP said:
I have no idea what this project is trying to achieve, and their website makes no sense at all.

SAT@home is a research project that uses Internet-connected computers to solve hard and practically important problems (discrete functions inversion problems, discrete optimization, bioinformatics, etc) that can be effectively reduced to Boolean satisfiability problem. At the moment we analyze Bivium cipher (weakened version of Trivium cipher).

what hard to understand about that? :eek:

Jumper118 · 3 Feb 2016 at 17:20

i'm sat at home most of the time

BaBa · 3 Feb 2016 at 21:41

Hay Jumper118 watched a Linus video ,you got a shout out for the cinebench thread quite cool.

On a more relevant note will be hitting the cpu projects hard when the Punisher is running.

Hope the new batch of cpus work:/

PDW · 4 Feb 2016 at 22:26

Andy didn't really do it justice, go here https://en.wikipedia.org/wiki/Boolean_satisfiability_problem to get a better understanding of what it is.

There will be a test later

MGP · 4 Feb 2016 at 23:18

Oh right it's as clear as mud now. I think I'll give the test a miss if you don't mind.

currob · 5 Feb 2016 at 17:42

Jumper118 said:
i'm sat at home most of the time

hanluc · 15 Feb 2016 at 15:46

A reminder that this starts in 2 days time, not sure I'll be able to go all in, but I'll do my best.

andy_taximan · 15 Feb 2016 at 22:32

So are we doing this 1 or Enigma@Home that starts in a few days? Didnt really want to stop my Universe@home or Ba will kick my butt even more hehe and we might even lose points, but then again we got all year to get them back.

Hanluc its up to you what i do next lol

ozaudio · 15 Feb 2016 at 22:44

well Ba has his cpus for his monster now so im sure if he has time to get it running he'll join in

andy_taximan · 15 Feb 2016 at 23:21

ozaudio said:
well Ba has his cpus for his monster now so im sure if he has time to get it running he'll join in

Hes running universe with it and is just about to overtake my 5960 in the top pcs lol

hanluc · 15 Feb 2016 at 23:44

andy_taximan said:
So are we doing this 1 or Enigma@Home that starts in a few days? Didnt really want to stop my Universe@home or Ba will kick my butt even more hehe and we might even lose points, but then again we got all year to get them back.

Hanluc its up to you what i do next lol

Stay on Universe, I can also enter us for Engima which overlaps sat@home slightly, but typically there has never really been much interest from us on that project, don't know why.

~~EDIT: I can even pull us out of this one if we wish to concentrate all our efforts on enigma.~~

ozaudio · 16 Feb 2016 at 00:33

sat used to much ram when I give it a test run before!

andy_taximan · 16 Feb 2016 at 03:45

Ill turn my other pc (4770k) on and do Sat and engima for the week and leave main on universe then

hanluc · 16 Feb 2016 at 08:05

andy_taximan said:
Ill turn my other pc (4770k) on and do Sat and engima for the week and leave main on universe then

Sounds good to me, whatever you're happy with doing Andy.

Streetlight · 16 Feb 2016 at 13:20

What do you need for this?

ozaudio · 16 Feb 2016 at 14:43

just install boinc and add the project, youll need to create an account though and join team ocuk

Streetlight · 16 Feb 2016 at 21:20

Lovely, am in.