full results

problem
zip-dev
zip-dev.time
2.85
3.74
3.02
9.77
9.78
8.04
9.88
6.12
9.81
3.91
8.54
4.79
1.33
0.59
0.49
0.87
9.77
6.55
0.02
10.02
9.80
9.80
9.78
9.80
9.80