full results

problem
zip-dev
zip-dev.time
0.32
0.17
0.15
0.19
0.87
0.13
0.15
10.06
10.08
10.05
10.15
10.09
9.81
2.72
10.56
10.74
2.89
4.53
3.11
9.89
10.94
2.24
1.02
5.11
2.02