full results

problem
zip-dev
zip-dev.time
2.84
3.34
3.01
9.79
9.80
8.83
9.78
6.05
9.79
3.66
8.49
4.43
1.33
0.60
0.51
0.94
9.79
7.26
0.02
9.78
9.82
9.78
10.02
9.79
9.96