full results

problem
zip-dev
zip-dev.time
0.19
9.98
10.21
11.02
9.89
0.58
1.33
11.02
9.81
0.59
1.21
11.02
0.65
3.14
9.87
10.06
11.02
3.14
10.14
10.20
11.02
2.77
7.46
9.99
11.02