full results

problem
zip-dev
zip-dev.time
4.80
0.32
2.38
5.75
0.31
0.43
1.00
0.50
0.41
1.59
2.36
0.53
2.58
0.53
0.27
1.76
4.95
0.41
1.44
0.47
0.15
2.29
9.78
0.19
0.17