热烈祝贺 fwjmath 童鞋发布 BOINC 项目成功！

nekoko · 发表于 2011-8-7 21:53:36

回复 43# panda7456

跑完WU的都在pending~~yoyo的人到底靠谱不啊……难道都是每天只算一小时的？

panda7456 · 发表于 2011-8-7 22:00:16

回复 46# nekoko

要不我也参加负责验证吧
一个包大概需要多长时间？

nekoko · 发表于 2011-8-7 22:02:31

回复 47# panda7456

半小时~6小时不等

fwjmath · 发表于 2011-8-7 22:03:15

回复 41# aquarius12

具体的要看情况，到时如果计算量太大的话，可能就停了。虽然理论上可以无限验证下去，但是从实际出发的话，还是有一个终止的~~~

panda7456 · 发表于 2011-8-7 22:03:24

回复 48# nekoko

这么不稳定啊。。。不好控制时间诶~

panda7456 · 发表于 2011-8-7 22:05:27

回复 49# fwjmath

也就是说这些任务中有超大的，也有小的？
大的也是迟早都能算完的吧？
PS：分怎么给的

fwjmath · 发表于 2011-8-7 22:16:40

回复 51# panda7456

对，迟早能算完的，程序不会死循环~~~

给分的话，貌似是按照申请分然后乘以2，跟之前Euler子项目的给分方法一样~~~

xuyongchen · 发表于 2011-8-7 22:50:49

不管了，下好一个任务准备开始跑。等屯的SGS任务算完就开始~

panda7456 · 发表于 2011-8-7 23:31:36

回复 52# fwjmath

也就是说计算时间越长分数越多呗~
这也的确让包大小和分数的多少平衡了~~~

nekoko · 发表于 2011-8-8 11:40:59

哎呀鹅地神啊……整整两天了总算有一个不pending了，给了分儿了……

JUST · 发表于 2011-8-8 15:10:37

赞！资源调配中...

我最近在想用DC来加速Formal Verification。基本上就是扩展状态树，DC还是挺适合的。不过暂时只是想法。

refla · 发表于 2011-8-8 18:33:55

回复 45# nekoko

有机会我一定去拿，你就看着吧

refla · 发表于 2011-8-8 18:38:18

回复 49# fwjmath

如果进度长时间停滞，会不会保存中间结果呢？

refla · 发表于 2011-8-8 18:45:29

我其实只是感叹一下大家的好奇心嘛

refla · 发表于 2011-8-8 19:06:20

貌似进入攻坚阶段了，WU 一个比一个大。。。

		自动登录	找回密码
密码			新注册用户

[注意] 热烈祝贺 fwjmath 童鞋发布 BOINC 项目成功！