full results

problem
zip-dev
zip-dev.time
0.39
0.18
0.26
0.17
0.76
0.20
0.15
10.09
10.04
10.06
10.13
10.05
9.81
2.87
10.63
10.52
2.72
3.91
3.07
10.49
10.84
2.23
1.15
5.14
1.66