Here are some interesting statistics concerning CERC 2000.

accept compile runtime time lib wrong present | TOTAL factor : 48 0 0 18 0 10 0 | 76 complete : 17 0 2 14 0 25 0 | 58 ikeyb : 14 0 2 22 0 19 3 | 60 expr : 17 0 4 9 0 41 0 | 71 arith : 20 2 7 11 0 52 100 | 192 bulk : 0 0 1 2 0 6 0 | 9 game : 3 0 0 2 0 1 0 | 6 direct : 0 2 6 23 0 3 0 | 34 -------------------------------------------------------------------+-------- TOTAL : 119 4 22 101 0 157 103 | 506

13:40:41 cteam46 arith.C 0.42 13:08:46 cteam34 arith.c 0.59 15:25:33 cteam32 arith.C 0.70 14:22:14 cteam12 arith.c 0.87 15:23:45 cteam41 arith.c 0.90 13:50:15 cteam38 arith.c 0.97 12:54:09 cteam21 arith.c 1.04 14:47:32 cteam16 arith.c 1.31 15:27:26 cteam18 arith.C 1.41 14:19:29 cteam56 arith.c 1.71 15:21:30 cteam11 arith.c 1.74 12:35:17 cteam29 arith.c 1.91 13:28:43 cteam66 arith.p 2.09 13:49:35 cteam51 arith.C 2.35 15:20:06 cteam55 arith.C 2.37 14:46:41 cteam17 arith.C 2.58 15:26:23 cteam69 arith.C 3.05 13:43:34 cteam39 arith.p 3.09 14:09:46 cteam23 arith.p 4.95 14:09:24 cteam33 arith.c 5.71 TIMEOUT 6.00 11:30:06 cteam49 complete.C 0.51 11:32:42 cteam42 complete.C 0.52 12:11:48 cteam47 complete.p 0.58 10:55:47 cteam31 complete.c 0.67 12:03:02 cteam56 complete.c 0.68 11:45:35 cteam55 complete.C 0.72 13:10:53 cteam13 complete.C 0.77 12:45:59 cteam18 complete.C 1.61 11:15:55 cteam21 complete.c 1.62 11:05:05 cteam39 complete.C 1.65 12:55:53 cteam17 complete.C 1.75 14:35:13 cteam41 complete.c 1.82 12:28:10 cteam32 complete.C 1.89 10:41:27 cteam23 complete.p 2.54 13:19:16 cteam51 complete.C 2.99 13:21:24 cteam44 complete.c 3.15 11:07:33 cteam26 complete.p 4.44 TIMEOUT 6.00 13:30:21 cteam21 expr.c 0.17 13:38:53 cteam67 expr.C 0.24 14:24:20 cteam41 expr.c 0.28 12:54:37 cteam11 expr.c 0.29 11:34:38 cteam46 expr.C 0.41 12:46:34 cteam49 expr.C 0.61 15:27:03 cteam56 expr.c 0.66 14:54:28 cteam55 expr.C 0.68 13:04:10 cteam14 expr.p 0.72 12:40:43 cteam63 expr.c 0.75 13:45:24 cteam32 expr.C 0.78 12:09:07 cteam39 expr.p 0.85 13:36:41 cteam42 expr.C 1.13 13:28:39 cteam47 expr.p 1.33 14:16:17 cteam66 expr.c 1.42 14:55:51 cteam13 expr.C 1.96 13:42:28 cteam35 expr.c 2.30 TIMEOUT 3.00 11:00:15 cteam38 factor.c 0.23 10:40:17 cteam66 factor.c 0.30 10:50:02 cteam43 factor.c 0.31 10:52:52 cteam39 factor.C 0.31 11:15:12 cteam17 factor.C 0.31 11:18:20 cteam25 factor.C 0.31 12:16:30 cteam27 factor.C 0.31 11:02:20 cteam35 factor.c 0.32 11:28:09 cteam52 factor.c 0.32 11:34:18 cteam53 factor.c 0.32 13:44:08 cteam28 factor.c 0.32 14:04:22 cteam45 factor.C 0.32 10:36:12 cteam21 factor.c 0.33 10:39:55 cteam31 factor.c 0.33 10:46:03 cteam41 factor.c 0.33 10:51:43 cteam11 factor.c 0.33 11:01:50 cteam68 factor.c 0.33 11:03:07 cteam63 factor.c 0.33 11:50:24 cteam54 factor.C 0.33 10:50:03 cteam29 factor.c 0.34 10:51:05 cteam22 factor.c 0.34 11:04:49 cteam44 factor.c 0.34 11:40:45 cteam16 factor.c 0.34 11:45:25 cteam37 factor.c 0.34 12:47:13 cteam15 factor.p 0.34 10:52:32 cteam24 factor.C 0.35 11:23:52 cteam36 factor.p 0.36 11:26:32 cteam47 factor.p 0.36 10:44:48 cteam23 factor.p 0.37 11:01:24 cteam56 factor.c 0.37 10:50:00 cteam55 factor.C 0.38 11:13:28 cteam64 factor.C 0.39 15:14:18 cteam33 factor.c 0.42 10:41:38 cteam49 factor.C 0.49 10:54:04 cteam51 factor.C 0.50 10:46:58 cteam67 factor.C 0.51 11:50:52 cteam48 factor.C 0.52 11:42:48 cteam18 factor.C 0.54 13:52:13 cteam69 factor.C 0.54 13:12:13 cteam62 factor.C 0.61 11:06:06 cteam65 factor.p 0.64 10:50:35 cteam13 factor.C 0.69 10:50:12 cteam14 factor.p 0.80 10:43:44 cteam42 factor.p 0.83 10:54:42 cteam46 factor.C 0.92 10:46:09 cteam26 factor.p 0.95 11:33:00 cteam32 factor.C 1.00 10:54:06 cteam12 factor.C 1.13 TIMEOUT 2.00 12:44:22 cteam39 game.C 1.29 14:56:03 cteam23 game.p 3.06 15:14:50 cteam21 game.c 5.54 TIMEOUT 15.00 12:42:30 cteam46 ikeyb.C 1.15 13:32:22 cteam68 ikeyb.C 1.94 12:37:05 cteam21 ikeyb.c 2.09 14:53:13 cteam44 ikeyb.c 2.58 15:14:37 cteam18 ikeyb.C 2.71 12:46:29 cteam51 ikeyb.c 3.21 15:18:52 cteam66 ikeyb.p 3.24 15:03:04 cteam11 ikeyb.c 3.56 15:03:10 cteam41 ikeyb.c 3.60 13:57:49 cteam31 ikeyb.c 3.65 11:34:11 cteam39 ikeyb.C 4.13 11:54:00 cteam23 ikeyb.p 4.25 14:10:24 cteam55 ikeyb.C 4.59 12:28:40 cteam56 ikeyb.c 4.96 TIMEOUT 5.00