full results

problem
zip-dev
zip-dev.time
1.70
5.14
0.79
0.84
3.90
5.00
9.77
1.68
1.32
8.90
4.96
1.36
0.81
0.97
6.10
0.76
1.91
5.30
5.78
1.10
8.71
3.39
1.73
3.17
1.03