full results

problem
zip-dev
zip-dev.time
5.41
0.36
2.67
5.76
0.34
0.37
1.11
0.48
0.46
1.59
2.34
0.60
2.58
0.46
0.24
1.51
4.35
0.42
1.68
0.47
0.15
2.14
9.78
0.17
0.16