full results

problem
zip-dev
zip-dev.time
1.89
5.12
0.83
0.83
3.87
5.55
9.77
2.07
1.48
7.99
4.41
1.39
0.80
0.97
5.71
0.69
1.93
4.68
5.09
1.25
9.61
3.30
1.67
3.54
0.98