full results

problem
zip-dev
zip-dev.time
10.34
10.37
0.02
9.80
10.94
11.01
10.34
0.01
9.80
10.98
11.01
11.08
0.02
9.81
10.53
11.01
11.01
0.02
9.81
9.95
11.01
11.01
0.02
9.79
9.85