full results

problem
zip-dev
zip-dev.time
9.85
10.41
9.90
11.01
1.46
1.31
0.40
11.01
2.69
11.01
10.63
2.27
0.42
11.01
2.80
11.01
11.02
10.16
10.14
0.05
10.17
11.02
11.02
11.05
11.02