full results

problem
zip-dev
zip-dev.time
0.34
1.03
4.80
1.02
1.97
0.95
0.82
3.43
3.40
0.77
1.55
1.88
9.78
6.51
9.81
6.91
5.01
1.05
0.59
1.82
1.56
3.54
4.76
0.51
0.78