full results

problem
zip-dev
zip-dev.time
0.35
0.16
0.26
0.16
0.79
0.13
0.15
10.06
10.04
10.06
10.14
10.06
9.81
3.61
10.66
10.30
2.65
3.88
3.18
10.47
10.74
2.42
0.97
5.04
1.83