full results

problem
zip-dev
zip-dev.time
0.40
0.18
0.25
0.16
0.78
0.15
0.16
10.09
10.07
10.06
10.15
10.05
9.81
2.77
10.63
10.29
3.23
3.50
2.90
10.65
10.81
2.15
1.01
6.08
1.81