full results

problem
zip-dev
zip-dev.time
0.54
1.15
5.39
1.05
1.84
0.96
0.84
3.05
3.25
0.78
1.70
1.83
9.11
6.34
9.82
6.57
5.59
0.96
0.61
1.81
1.51
3.38
4.77
0.58
0.80