full results

problem
zip-dev
zip-dev.time
9.78
9.79
0.10
9.80
0.15
9.78
4.76
9.79
0.18
0.02
9.99
0.05
0.20
0.02
9.90
0.05
1.62
0.02
10.12
0.12
10.03
10.06
10.05
0.02
10.24