Forum::Challenge Chats::EURO Crunch 2012. Stage 2. SAT@home

Pages: [1]

AriZonaMoon*: BAM!ID: 5884; Joined: 2006-09-10; Posts: 441; Credits: 37,535,171,948; World-rank: 163

2012-05-24 14:42:16

so... do you know if SAT have work when this challenge starts?? ;-p There`s been nothing for a while now.. ;-)

Dirk Broer: BAM!ID: 117974; Joined: 2012-03-01; Posts: 334; Credits: 6,356,558,626; World-rank: 568

2012-05-27 12:29:44

I had some WUs yesterday, the 26th of May

Dirk Broer: BAM!ID: 117974; Joined: 2012-03-01; Posts: 334; Credits: 6,356,558,626; World-rank: 568

2012-06-05 00:08:58

Getting plenty SAT at the moment! Might as well start bunkering now....

Dirk Broer: BAM!ID: 117974; Joined: 2012-03-01; Posts: 334; Credits: 6,356,558,626; World-rank: 568

2012-06-14 00:25:31

We're off! How long will the feeder last till we have drained it?

Andreev Alexandr: Translator; BAM!ID: 89360; Joined: 2010-08-26; Posts: 13; Credits: 34,494,015; World-rank: 23,551

2012-06-14 04:30:24

In the project there is a lot of jobs. Now there is a decision search for the new task.

Dirk Broer: BAM!ID: 117974; Joined: 2012-03-01; Posts: 334; Credits: 6,356,558,626; World-rank: 568

2012-06-15 10:01:06

Who will be the first to find a pair of orthogonal diagonal latin squares of order 9 and 10 with SAT@Home?

Dr.Dink: BAM!ID: 99725; Joined: 2011-05-01; Posts: 0; Credits: 661,256,353; World-rank: 3,094

2012-06-16 19:45:29

I'd better ask, who will be the second here.

Dirk Broer: BAM!ID: 117974; Joined: 2012-03-01; Posts: 334; Credits: 6,356,558,626; World-rank: 568

2012-06-16 19:59:20

In current experiment new solution of SAT problem was found by: bronevik from Russia Team, KWH* from Sicituradastra.

Dirk Broer: BAM!ID: 117974; Joined: 2012-03-01; Posts: 334; Credits: 6,356,558,626; World-rank: 568

2012-06-16 21:09:03

Only that was on April 26, and the new experiment started on June 4. No mentioning yet of any findings.

Dr.Dink: BAM!ID: 99725; Joined: 2011-05-01; Posts: 0; Credits: 661,256,353; World-rank: 3,094

2012-06-17 07:22:12

New experiment will take approx. 2M WUs to sieve throught all possible solutions. So, gather your patience.

happer: BAM!ID: 107936; Joined: 2011-09-28; Posts: 19; Credits: 239,280,426; World-rank: 6,395

2012-06-19 11:17:57

Why SAT don`t have GPU works ?

Pages: [1]

Status