Hi Ahmed:

I noticed that the administrator does not clearly
say who lost and who won.

Please can you add that to the history
after all events for a challenge have been reported?

-- Karl

Debugging of Nerdicide based on the game against Sweet:

 (245 -> playerspec["sweet" "129.10.116.151" 9123])
 (244 -> playerspec["Nerdicide" "129.10.116.106" 9000])

round 2:
offer[4284 (179 ) 1.0] by Sweet

round 3:
reoffer[4284 0.9899] by Nerdicide

Nerdicide claims that they can give a 179-problem where only <= 0.9899 
can be satisfied by any solution.
The claim is of the form Exists-ForAll:
Nerdicide claims that
there exists a 179-problem S within the size
allwoed by the configuration file 
so that ForAll assignments J to S:
fsat(S,J)<= 0.9899

accept[4284] by Sweet

[acceptor paid 0.9899 for challenge 4284. acceptor: 245 offerer: 244 ]

round 4:
provide[v0 v1 v2 v3 v4  (179 v0 v1 v2 ) (179 v0 v1 v3 ) (179 v0 v1 v4 ) (179 v0 v2 v3 ) (179 v0 v2 v4 ) (179 v0 v3 v4 ) (179 v1 v2 v3 ) (179 v1 v2 v4 ) (179 v1 v3 v4 ) (179 v2 v3 v4 )  4284] 

solve[[ (node black (v3 -> true) (node red (v1 -> true) (node black (v0 -> true)  ) (node black (v2 -> true)  )) (node black (v4 -> true)  )) ] 4284] 

 [acceptor recieved 1.0 for solving 1.0 of challenge 4284. acceptor: 245 offerer: 244 ]