full results

problem
zip-dev
zip-dev.time
9.86
10.26
9.89
11.01
1.61
1.14
0.35
11.02
2.92
11.01
10.67
1.84
0.37
11.01
2.91
11.01
11.02
10.17
10.27
0.03
10.21
11.02
11.02
11.02
11.02