full results

problem
zip-dev
zip-dev.time
5.31
0.32
2.64
5.67
0.32
0.37
1.00
0.49
0.46
1.44
2.54
0.53
2.58
0.46
0.27
1.51
4.38
0.48
1.62
0.55
0.16
1.98
9.80
0.18
0.19