full results

problem
zip-dev
zip-dev.time
4.74
0.36
2.78
6.59
0.31
0.53
1.13
0.50
0.41
1.64
2.58
0.62
2.84
0.50
0.26
1.52
4.38
0.44
1.70
0.53
0.16
1.99
9.80
0.19
0.17