full results

problem
zip-dev
zip-dev.time
9.77
9.98
10.02
10.02
10.02
0.23
9.82
7.69
3.93
1.38
0.95
0.53
2.53
1.76
1.81
1.30
2.41
7.35
1.46
9.78
9.79
0.26
2.75
9.78
5.04