full results

problem
zip-dev
zip-dev.time
4.77
0.36
2.36
6.68
0.35
0.41
1.16
0.46
0.42
1.45
2.30
0.54
3.26
0.47
0.28
1.69
4.43
0.49
1.67
0.54
0.15
2.00
9.79
0.23
0.20