full results

problem
zip-dev
zip-dev.time
9.90
9.79
0.11
9.78
0.12
9.80
4.58
9.80
0.20
0.02
9.94
0.05
0.23
0.02
9.91
0.05
1.69
0.02
10.00
0.11
10.14
9.91
9.94
0.02
9.97