full results

problem
zip-dev
zip-dev.time
3.13
3.36
3.17
9.77
9.77
9.07
9.79
6.09
9.86
3.54
8.52
4.90
1.50
0.61
0.44
0.93
9.79
6.41
0.02
10.02
9.81
9.78
10.02
9.77
10.02