full results

problem
zip-dev
zip-dev.time
0.93
2.89
2.50
1.61
0.99
1.29
9.78
9.78
1.50
2.76
0.93
9.81
9.81
2.62
0.26
6.55
4.33
9.79
1.97
4.59
5.06
6.56
5.67
6.81
2.69