full results

problem
zip-dev
zip-dev.time
10.34
10.37
0.02
9.78
10.97
11.01
10.51
0.01
9.78
11.01
11.01
10.39
0.02
9.80
10.33
11.01
11.01
0.01
9.85
9.98
11.01
11.01
0.02
9.82
9.86