full results

problem
zip-dev
zip-dev.time
10.33
10.38
0.02
9.78
10.99
11.01
10.27
0.02
9.80
10.82
11.01
10.39
0.02
9.82
10.33
11.01
11.01
0.01
9.78
9.94
11.01
11.01
0.02
9.80
9.85